Bug#803598: mono-devel: 'devel' package does not include profiler

mono-profiler is part of a different source package (mono-tools), which build-depends mono-devel, so it would introduce a circular dependency On 31/10/15 17:49, Simon Heath wrote: > Package: mono-devel > Version: 3.2.8+dfsg-10 > Severity: wishlist > > Dear Maintainer, > > The mono-devel package

Bug#803598: mono-devel: 'devel' package does not include profiler

Package: mono-devel Version: 3.2.8+dfsg-10 Severity: wishlist Dear Maintainer, The mono-devel package does not include or recommend the mono-profiler package. This seems like a no-brainer to include for the package that 'pulls in the default development stack for Mono'. I'm not sure a bug repor