projects / mono.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: e02e386 12218c5)
Merge pull request #1903 from vkargov/master
authorJoão Matos <joao@tritao.eu>
Mon, 29 Jun 2015 22:44:19 +0000 (23:44 +0100)
committerJoão Matos <joao@tritao.eu>
Mon, 29 Jun 2015 22:44:19 +0000 (23:44 +0100)
Fix the MinGW build.


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