projects / mono.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 5c0f506 055b15e)
Merge pull request #4828 from BrzVlad/fix-windows-ci
authorVlad Brezae <brezaevlad@gmail.com>
Fri, 12 May 2017 19:43:35 +0000 (22:43 +0300)
committerGitHub <noreply@github.com>
Fri, 12 May 2017 19:43:35 +0000 (22:43 +0300)
[runtime] Fix windows ci


Trivial merge
my mono mirror. check out Moved to http://github.com/mono/mono