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)
commit2f302a2afb57087418c882e85d5cefd4b3cacd81
treeb448c288d19697298f6ce05985f44c635d6956f4
parent5befe83dd00b365407945a11db1e03619f415aa1
parentcefbfbd3d9b0c0ce1efc0b5c51ae0a9ec0fdc0c6
Merge pull request #10253 from dotnet/mirror-merge-9051394

Mirror changes from dotnet/corert