Bug#673612: Keyboard shortcuts no longer work with gnome-shell

[Damien R.]

> Here's information on workarounds until the UI is fixed:
>
> https://bugs.launchpad.net/ubuntu/+source/gnome-control-center/+bug/965921
> http://superuser.com/questions/415675/gnome-shell-3-4-and-a-super-key-related-shortcut

These workarounds does not work on debian (they work on ubuntu because
ubuntu still use gconf), see:
https://bugzilla.gnome.org/show_bug.cgi?id=662580#c19
https://bugzilla.gnome.org/show_bug.cgi?id=659899

Regards,
Damien R.