Hi, we are also affected of this bug on more than 30 debian desktops. Please make gnome-shell-common_3.4.2-4_all.deb and gnome-shell_3.4.2-4_amd64.deb in wheezy available. It look like its blocked by the gjs package http://bjorn.haxx.se/debian/testing.pl?package=gnome-shell