Merge pull request #12647 from dotnet/mirror-merge-9210244
authorTarek Mahmoud Sayed <tarekms@microsoft.com>
Thu, 6 Jul 2017 02:56:27 +0000 (19:56 -0700)
committerGitHub <noreply@github.com>
Thu, 6 Jul 2017 02:56:27 +0000 (19:56 -0700)
commit474d9618e844e9a0fb3fd2b687d558d1239b021d
tree16ff0b5222b5d59480f1f6882f87e82258db199e
parent334259414f8455b93989ee1ac01a7facbdff8950
parentd11d281a2141bb6880371d878d558859c56f4901
Merge pull request #12647 from dotnet/mirror-merge-9210244

Mirror changes from dotnet/corert