Processed: GNOME/GTK eats up the F10 key
Processing commands for control@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 owner@bugs.debian.org with problems
Reply to: