mono/monodevelop — pull request #209 by knocte (2012-07-01 02:20:29+00:00)
Title: Fix for bug 5937

This is a simple fix for bug https://bugzilla.xamarin.com/show_bug.cgi?id=5937 .

Thanks