projects / mono.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: b8ac40d ab5b39f)
Merge pull request #1122 from PoppermostProductions/master
authorRodrigo Kumpera <kumpera@gmail.com>
Mon, 14 Jul 2014 14:54:50 +0000 (10:54 -0400)
committerRodrigo Kumpera <kumpera@gmail.com>
Mon, 14 Jul 2014 14:54:50 +0000 (10:54 -0400)
Added new mono_domain_set_config function; used to fix ConfigurationErro...


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