Merge pull request #14023 from dotnet-bot/from-tfs
authorBruce Forstall <brucefo@microsoft.com>
Fri, 15 Sep 2017 23:24:20 +0000 (16:24 -0700)
committerGitHub <noreply@github.com>
Fri, 15 Sep 2017 23:24:20 +0000 (16:24 -0700)
Merge changes from TFS


Trivial merge