http://merges.ubuntu.com/m/monodevelop/REPORT
merged, but still blocked by https://bugs.launchpad.net/ubuntu/+source/mono-addins/+bug/180154
http:// merges. ubuntu. com/m/monodevel op/REPORT
merged, but still blocked by https:/ /bugs.launchpad .net/ubuntu/ +source/ mono-addins/ +bug/180154