mono/monodevelop — pull request #213 by antoniusriha (2012-08-11 20:43:48+00:00)
Title: Cosmetic error message fix. Partly fixes #5482.

Other part of fix for #5482 is in mono-tools:
https://github.com/mono/mono-tools/commit/aa5daa7c7ca6fcea0acf73aca4a8c321a7888a49