Merge pull request #10253 from dotnet/mirror-merge-9051394
authorJan Kotas <jkotas@microsoft.com>
Fri, 17 Mar 2017 19:43:40 +0000 (12:43 -0700)
committerGitHub <noreply@github.com>
Fri, 17 Mar 2017 19:43:40 +0000 (12:43 -0700)
Mirror changes from dotnet/corert


Trivial merge