projects / mono.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 7b4a585 cbfbf3e)
Merge pull request #2919 from lewurm/random-mini-stuff
authormonojenkins <jo.shields+jenkins@xamarin.com>
Tue, 19 Apr 2016 07:15:21 +0000 (08:15 +0100)
committermonojenkins <jo.shields+jenkins@xamarin.com>
Tue, 19 Apr 2016 07:15:21 +0000 (08:15 +0100)
Random mini stuff

@monojenkins merge


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