Processed: your mail

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> reassign 659580 libgtk-3-0
Bug #659580 [roxterm] roxterm: Disable menu access key (F10 by default) does not work
Bug reassigned from package 'roxterm' to 'libgtk-3-0'.
Bug No longer marked as found in versions roxterm/1.22.2-1.
> severity 659580 important
Bug #659580 [libgtk-3-0] roxterm: Disable menu access key (F10 by default) does not work
Severity set to 'important' from 'normal'

> forwarded 659580 https://bugzilla.gnome.org/show_bug.cgi?id=661973
Bug #659580 [libgtk-3-0] roxterm: Disable menu access key (F10 by default) does not work
Set Bug forwarded-to-address to 'https://bugzilla.gnome.org/show_bug.cgi?id=661973'.
> merge 659580 656685
Bug#656685: GNOME/GTK eats up the F10 key
Bug#659580: roxterm: Disable menu access key (F10 by default) does not work
Merged 656685 659580.

>
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