Processing commands for cont...@bugs.debian.org: > reassign 656685 libgtk-3-0 Bug #656685 [gnome-terminal] GNOME/GTK eats up the F10 key Bug reassigned from package 'gnome-terminal' to 'libgtk-3-0'. > found 656685 3.2.3-1 Bug #656685 [libgtk-3-0] GNOME/GTK eats up the F10 key Bug Marked as found in versions gtk+3.0/3.2.3-1. > forwarded 656685 https://bugzilla.gnome.org/show_bug.cgi?id=661973 Bug #656685 [libgtk-3-0] GNOME/GTK eats up the F10 key Set Bug forwarded-to-address to 'https://bugzilla.gnome.org/show_bug.cgi?id=661973'. > thanks Stopping processing here.
Please contact me if you need assistance. -- 656685: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=656685 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
