Processed: your mail
Debian Bug Tracking System
owner at bugs.debian.org
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
More information about the pkg-gnome-maintainers
mailing list