Merge pull request #23 from PGPerfFarm/dev
authorHongyuan Ma <mahongyuan1997@gmail.com>
Thu, 16 Aug 2018 06:26:31 +0000 (14:26 +0800)
committerGitHub <noreply@github.com>
Thu, 16 Aug 2018 06:26:31 +0000 (14:26 +0800)
The last commit of gsoc


Trivial merge