Hi,The above mention bug is solved for me. I am using debian-cut and I used debian snapshots of 31st October and 30th November. My current gnome-shell version is 3.4.2-3 and gnome package is 1:3.4+7.
-- Faisal-ur-Rehman -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org