1. 2017-10-13 [GitHub] ant pull request #42: Fix the inefficient us ant-dev asfgit 2. 2017-10-11 [GitHub] ant pull request #42: Fix the inefficient us ant-dev BruceKuiLiu