Processing commands for [email protected]: > unmerge 656685 Bug #656685 [libgtk-3-0] GNOME/GTK eats up the F10 key Bug #658392 [libgtk-3-0] [gnome-terminal] F10 opens context menu (shouldn't do anything) Bug #659580 [libgtk-3-0] roxterm: Disable menu access key (F10 by default) does not work Bug #683449 [libgtk-3-0] gnome-terminal doesn't work properly with htop Disconnected #656685 from all other report(s). > reassign 656685 xkb-data Bug #656685 [libgtk-3-0] GNOME/GTK eats up the F10 key Bug reassigned from package 'libgtk-3-0' to 'xkb-data'. No longer marked as found in versions gtk+3.0/3.2.3-1. Ignoring request to alter fixed versions of bug #656685 to the same values previously set > found 656685 2.5-1 Bug #656685 [xkb-data] GNOME/GTK eats up the F10 key Marked as found in versions xkeyboard-config/2.5-1. > forwarded 656685 https://bugs.freedesktop.org/show_bug.cgi?id=45008 Bug #656685 [xkb-data] GNOME/GTK eats up the F10 key Changed Bug forwarded-to-address to 'https://bugs.freedesktop.org/show_bug.cgi?id=45008' from '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 658392: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=658392 659580: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=659580 683449: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=683449 Debian Bug Tracking System Contact [email protected] with problems -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]
