Processing commands for cont...@bugs.debian.org: > reassign 659580 libgtk-3-0 Bug #659580 [roxterm] roxterm: Disable menu access key (F10 by default) does not work Bug reassigned from package 'roxterm' to 'libgtk-3-0'. Bug No longer marked as found in versions roxterm/1.22.2-1. > severity 659580 important Bug #659580 [libgtk-3-0] roxterm: Disable menu access key (F10 by default) does not work Severity set to 'important' from 'normal'
> forwarded 659580 https://bugzilla.gnome.org/show_bug.cgi?id=661973 Bug #659580 [libgtk-3-0] roxterm: Disable menu access key (F10 by default) does not work Set Bug forwarded-to-address to 'https://bugzilla.gnome.org/show_bug.cgi?id=661973'. > merge 659580 656685 Bug#656685: GNOME/GTK eats up the F10 key Bug#659580: roxterm: Disable menu access key (F10 by default) does not work Merged 656685 659580. > End of message, stopping processing here. Please contact me if you need assistance. -- 656685: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=656685 659580: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=659580 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems -- To UNSUBSCRIBE, email to debian-bugs-forwarded-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
