Processed: your mail

Thu Mar 15 15:27:09 UTC 2012

Processing commands for control at bugs.debian.org:

> affects 656685 roxterm-gtk3 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 roxterm-gtk3 and gnome-terminal
Removed indication that 659580 affects roxterm
Added indication that 659580 affects roxterm-gtk3 and 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
659580: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=659580
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems