Merge pull request #14937 from jcagme/master
authorJC Aguilera <juanam@microsoft.com>
Wed, 8 Nov 2017 18:59:12 +0000 (10:59 -0800)
committerGitHub <noreply@github.com>
Wed, 8 Nov 2017 18:59:12 +0000 (10:59 -0800)
Updating BuildTools version


Trivial merge