I recently upgraded to gnome-shell 3.12 because my unity desktop stopped working.
Everything is working fine except that my multimedia keys (volume, brightness, etc.) and my shortcuts (Ctrl-Alt-T) stopped working.
I'm using a Samsung New Series 9 with Ubuntu 14.04. However, on a Plasma desktop there is no problem with the keyboard.