Merge pull request #10374 from dotnet/mirror-merge-9057970
authorJan Kotas <jkotas@microsoft.com>
Wed, 22 Mar 2017 15:03:09 +0000 (08:03 -0700)
committerGitHub <noreply@github.com>
Wed, 22 Mar 2017 15:03:09 +0000 (08:03 -0700)
commit0976a5d3383e0aaed8895b09af9b12db4392df91
tree42432c454495cf6dc8b2e17482f2e87ab60d91bb
parentd10eede76ecf94ec63b51d94dadf1e1c5b339c71
parent37eeb4ca174c25396949dcbada8698a7827c0d7e
Merge pull request #10374 from dotnet/mirror-merge-9057970

Mirror changes from dotnet/corert