Sebastian: can you take a look at it? -- [Merge] mono-tools 1.2.6-2ubuntu1 https://bugs.launchpad.net/bugs/181474 You received this bug notification because you are a member of MOTU Mono Team, which is a bug contact for mono-tools in ubuntu.