Merge branch 'master' of github.com:mono/mono
authorMartin Baulig <martin.baulig@gmail.com>
Tue, 26 Jun 2012 03:56:15 +0000 (05:56 +0200)
committerMartin Baulig <martin.baulig@gmail.com>
Tue, 26 Jun 2012 03:56:15 +0000 (05:56 +0200)

Trivial merge