Processing commands for [email protected]: > close 803598 Bug #803598 [mono-devel] mono-devel: 'devel' package does not include profiler Marked Bug as done > thanks Stopping processing here.
Please contact me if you need assistance. -- 803598: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=803598 Debian Bug Tracking System Contact [email protected] with problems
