Merge branch 'master' of github.com:mono/mono
authorMarek Safar <marek.safar@gmail.com>
Thu, 17 May 2012 12:58:09 +0000 (13:58 +0100)
committerMarek Safar <marek.safar@gmail.com>
Thu, 17 May 2012 12:58:09 +0000 (13:58 +0100)

Trivial merge