mono/monodevelop — pull request #453 by lucasmeijer (2013-12-05 15:02:13+00:00)
Title: Do not report false "possible compiler crashe" when build is cancelled.

Fix case 551523