projects / platform / upstream / coreclr.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 24f5c55 fc72257)
Merge pull request #14832 from MichalStrehovsky/master-merge
authorMichal Strehovský <MichalStrehovsky@users.noreply.github.com>
Thu, 2 Nov 2017 22:58:50 +0000 (23:58 +0100)
committerGitHub <noreply@github.com>
Thu, 2 Nov 2017 22:58:50 +0000 (23:58 +0100)
Merge master to dev/defaultintf


Trivial merge
Domain: Dotnet / Core;