Merge pull request #1592 from pchaigno/script-sync-helpers
authoryonghong-song <ys114321@gmail.com>
Wed, 14 Feb 2018 22:29:53 +0000 (14:29 -0800)
committerGitHub <noreply@github.com>
Wed, 14 Feb 2018 22:29:53 +0000 (14:29 -0800)
Script to check that the lists of helpers are in sync


Trivial merge