Processing control commands: > forwarded -1 https://sourceware.org/bugzilla/show_bug.cgi?id=17446 Bug #763518 [gdb] gdb --batch mode broken Set Bug forwarded-to-address to 'https://sourceware.org/bugzilla/show_bug.cgi?id=17446'. > severity -1 serious Bug #763518 [gdb] gdb --batch mode broken Severity set to 'serious' from 'important'
-- 763518: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=763518 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems -- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
