Processing commands for cont...@bugs.debian.org: > 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 ow...@bugs.debian.org with problems -- To UNSUBSCRIBE, email to debian-x-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/handler.s.c.13275890673028.transcr...@bugs.debian.org
