Processed: Re: Bug#656685: GNOME/GTK eats up the F10 key

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> reassign 656685 libgtk-3-0
Bug #656685 [gnome-terminal] GNOME/GTK eats up the F10 key
Bug reassigned from package 'gnome-terminal' to 'libgtk-3-0'.
> found 656685 3.2.3-1
Bug #656685 [libgtk-3-0] GNOME/GTK eats up the F10 key
Bug Marked as found in versions gtk+3.0/3.2.3-1.
> forwarded 656685 https://bugzilla.gnome.org/show_bug.cgi?id=661973
Bug #656685 [libgtk-3-0] GNOME/GTK eats up the F10 key
Set Bug forwarded-to-address to '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
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems