Processed: unmerging 656685, reassign 656685 to xkb-data, found 656685 in 2.5-1 ...

Mon Sep 3 21:24:06 UTC 2012

Processing commands for control at bugs.debian.org:

> unmerge 656685
Bug #656685 [libgtk-3-0] GNOME/GTK eats up the F10 key
Bug #658392 [libgtk-3-0] [gnome-terminal] F10 opens context menu (shouldn't do anything)
Bug #659580 [libgtk-3-0] roxterm: Disable menu access key (F10 by default) does not work
Bug #683449 [libgtk-3-0] gnome-terminal doesn't work properly with htop
Disconnected #656685 from all other report(s).
> reassign 656685 xkb-data
Bug #656685 [libgtk-3-0] GNOME/GTK eats up the F10 key
Bug reassigned from package 'libgtk-3-0' to 'xkb-data'.
No longer marked as found in versions gtk+3.0/3.2.3-1.
Ignoring request to alter fixed versions of bug #656685 to the same values previously set
> found 656685 2.5-1
Bug #656685 [xkb-data] GNOME/GTK eats up the F10 key
Marked as found in versions xkeyboard-config/2.5-1.
> forwarded 656685 https://bugs.freedesktop.org/show_bug.cgi?id=45008
Bug #656685 [xkb-data] GNOME/GTK eats up the F10 key
Changed Bug forwarded-to-address to 'https://bugs.freedesktop.org/show_bug.cgi?id=45008' from 'https://bugzilla.gnome.org/show_bug.cgi?id=661973'
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
656685: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=656685
658392: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=658392
659580: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=659580
683449: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=683449
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems