Processed: your mail

Sun Feb 12 18:45:15 UTC 2012

Processing commands for control at bugs.debian.org:

> affects 656685 roxterm
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 roxterm
Added indication that 659580 affects roxterm
> affects 656685 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
Removed indication that 656685 affects roxterm
Added indication that 656685 affects gnome-terminal
Removed indication that 659580 affects roxterm
Added indication that 659580 affects gnome-terminal
>
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