Johan Kröckel Mon, 02 Jan 2012 14:45:21 -0800
Upgrading gnome-shell to the sid version (3.2.1-8) solves the problem.
-- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
