Merged
[doc] Minor updates in `hello.rst`#963yuanming-hu merged 3 commits intotaichi-dev:master from yuanming-hu:hello1
yuanming-hu merged 3 commits intotaichi-dev:master from yuanming-hu:hello1
[doc] Minor updates in hello.rst
#963
Merged
yuanming-hu merged 3 commits intotaichi-dev:master from yuanming-hu:hello1May 13, 2020
+24-16