Merge pull request #13842 from dotnet-bot/from-tfs
authorPat Gavlin <pgavlin@gmail.com>
Sat, 9 Sep 2017 04:18:07 +0000 (21:18 -0700)
committerGitHub <noreply@github.com>
Sat, 9 Sep 2017 04:18:07 +0000 (21:18 -0700)
Merge changes from TFS


Trivial merge