Processing commands for [email protected]: > 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 [email protected] with problems -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
