OSDN Git Service

Merge pull request #722 from Bytom/dev-psedo
authorPaladz <yzhu101@uottawa.ca>
Thu, 19 Apr 2018 11:59:07 +0000 (19:59 +0800)
committerGitHub <noreply@github.com>
Thu, 19 Apr 2018 11:59:07 +0000 (19:59 +0800)
fix bug for "duplicated alias"


Trivial merge