mono/monodevelop — pull request #379 by riviti (2013-08-20 13:41:10+00:00)
Title: Some improvements to the CodeIssuePad and runner.

Hopefully the commits themselves are fairly self explanatory :)