Merge pull request #10317 from dotnet/mirror-merge-9055826
authorJan Kotas <jkotas@microsoft.com>
Mon, 20 Mar 2017 21:03:14 +0000 (14:03 -0700)
committerGitHub <noreply@github.com>
Mon, 20 Mar 2017 21:03:14 +0000 (14:03 -0700)
Mirror changes from dotnet/corert


Trivial merge