Processing commands for control@bugs.debian.org: > severity 407705 wishlist Bug #407705 [gnumach] gnumach: compile error with DEB_BUILD_OPTIONS=noopt Ignoring request to change severity of Bug 407705 to the same value. > thanks Stopping processing here. Please contact me if you need assistance. -- 407705: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=407705 Debian Bug Tracking System Contact owner@bugs.debian.org with problems