Merge pull request #10341 from dotnet/mirror-merge-9056283
authorJan Kotas <jkotas@microsoft.com>
Tue, 21 Mar 2017 04:13:04 +0000 (21:13 -0700)
committerGitHub <noreply@github.com>
Tue, 21 Mar 2017 04:13:04 +0000 (21:13 -0700)
Mirror changes from dotnet/corert


Trivial merge