mono/mono — pull request #1282 by madrang (2014-09-14 04:36:29+00:00)
Title: Minor changes of pull 1281

https://github.com/mono/mono/pull/1281