-- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
This has been fixed upstream in
https://github.com/mono/mono-addins/commit/2bf0f4b5c56c56473e0a055f0f987309f3dd366a
