Processed: your mail

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> affects 656685 roxterm, gnome-terminal
Bug #656685 [libgtk-3-0] GNOME/GTK eats up the F10 key
Bug #659580 [libgtk-3-0] roxterm: Disable menu access key (F10 by default) does not work
Added indication that 656685 affects gnome-terminal and roxterm
Added indication that 659580 affects gnome-terminal and roxterm
>
End of message, 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