K 10 svn:author V 3 dbn K 8 svn:date V 27 2013-08-28T18:16:34.962993Z K 7 svn:log V 109 Update devel/monodevelop to 4.0.12 and unbreak build. No ChangeLog available. Approved by: mono@ (romain@) END