Bug#663247: gnome-shell: Custom shortcuts with Windows/Super/Mod4 key not working
Petri Lehtinen
petri at digip.org
Mon Mar 31 06:17:32 UTC 2014
close 663247
thanks
I don't have a Debian machine around anymore, so I cannot test. But if
it works for you I believe it would work for me, too :)
More information about the pkg-gnome-maintainers
mailing list