projects / mono.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 559ad5b 05d7064)
Merge pull request #704 from jgagnon/master
authorMiguel de Icaza <miguel@gnome.org>
Wed, 23 Sep 2015 18:42:05 +0000 (14:42 -0400)
committerMiguel de Icaza <miguel@gnome.org>
Wed, 23 Sep 2015 18:42:05 +0000 (14:42 -0400)
Fix for #4938.


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