Processing commands for [email protected]: > retitle 656685 GNOME/GTK eats up the F10 key Bug #656685 [xkb-data] xkb-data: new version breaks F10 key Changed Bug title to 'GNOME/GTK eats up the F10 key' from 'xkb-data: new version breaks F10 key' > reassign 656685 gnome-terminal Bug #656685 [xkb-data] GNOME/GTK eats up the F10 key Bug reassigned from package 'xkb-data' to 'gnome-terminal'. Bug No longer marked as found in versions xkeyboard-config/2.5-1. > notforwarded 656685 Bug #656685 [gnome-terminal] GNOME/GTK eats up the F10 key Unset Bug forwarded-to-address > stop 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 [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]
