projects / mono.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 0883d8d f0c0c2b)
Merge pull request #2312 from ArsenShnurkov/bug36724
authorAlexander Köplinger <alex.koeplinger@outlook.com>
Thu, 10 Dec 2015 00:12:19 +0000 (01:12 +0100)
committerAlexander Köplinger <alex.koeplinger@outlook.com>
Thu, 10 Dec 2015 00:12:19 +0000 (01:12 +0100)
fix for https://bugzilla.xamarin.com/show_bug.cgi?id=36724


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