OSDN Git Service

Merge pull request #740 from Bytom/dev-pool
authorPaladz <yzhu101@uottawa.ca>
Fri, 20 Apr 2018 01:59:27 +0000 (09:59 +0800)
committerGitHub <noreply@github.com>
Fri, 20 Apr 2018 01:59:27 +0000 (09:59 +0800)
optimise


Trivial merge