Merge pull request #6664 from dagood/update-existing-pr
authorDavis Goodin <dagood@users.noreply.github.com>
Tue, 23 Aug 2016 15:28:31 +0000 (10:28 -0500)
committerGitHub <noreply@github.com>
Tue, 23 Aug 2016 15:28:31 +0000 (10:28 -0500)
Use versions repo tooling from BuildTools


Trivial merge