Processed: forcibly merging 673612 663247

Debian Bug Tracking System owner at bugs.debian.org
Thu Jul 19 02:03:06 UTC 2012


Processing commands for control at bugs.debian.org:

> forcemerge 673612 663247
Bug #673612 [gnome-shell] Keyboard shortcuts using <Super>+key no longer work: <Super> grabbed by the shell
Bug #673612 [gnome-shell] Keyboard shortcuts using <Super>+key no longer work: <Super> grabbed by the shell
Marked as found in versions gnome-shell/3.2.2.1-2.
Bug #663247 [gnome-shell] gnome-shell: Custom shortcuts with Windows/Super/Mod4 key not working
Set Bug forwarded-to-address to 'https://bugzilla.gnome.org/show_bug.cgi?id=659899'.
Severity set to 'important' from 'normal'
Marked as found in versions gnome-shell/3.4.1-1 and gnome-shell/3.4.1-5.
Merged 663247 673612
> thanks
Stopping processing here.

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



More information about the pkg-gnome-maintainers mailing list