Processed: GNOME/GTK eats up the F10 key
Processing commands for email@example.com:
> 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
Stopping processing here.
Please contact me if you need assistance.
Debian Bug Tracking System
Contact firstname.lastname@example.org with problems