Merge pull request #13876 from eerhardt/UpdateBuildTools
authorEric Erhardt <eric.erhardt@microsoft.com>
Mon, 11 Sep 2017 16:30:56 +0000 (11:30 -0500)
committerGitHub <noreply@github.com>
Mon, 11 Sep 2017 16:30:56 +0000 (11:30 -0500)
Update BuildTools automatically when new versions are available.


Trivial merge