projects / mono.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 5f885d5 a3543c4)
Merge pull request #4118 from petertiedemann/fix-bug-48516
authorJoão Matos <joao@tritao.eu>
Tue, 20 Dec 2016 20:38:03 +0000 (20:38 +0000)
committerGitHub <noreply@github.com>
Tue, 20 Dec 2016 20:38:03 +0000 (20:38 +0000)
Fix bug 48516


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