projects / mono.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: bde98eb a688c0c)
Merge pull request #2860 from lewurm/fix-cfgdump-related-stuff
authormonojenkins <jo.shields+jenkins@xamarin.com>
Fri, 8 Apr 2016 22:45:18 +0000 (23:45 +0100)
committermonojenkins <jo.shields+jenkins@xamarin.com>
Fri, 8 Apr 2016 22:45:18 +0000 (23:45 +0100)
Fix `cfgdump` related stuff


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