Processing commands for [email protected]: > severity 615678 serious Bug #615678 [mcrl2] mcrl2: ftbfs with gcc-4.5 Severity set to 'serious' from 'important'
> thanks Stopping processing here. Please contact me if you need assistance. -- 615678: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=615678 Debian Bug Tracking System Contact [email protected] with problems -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
