Report forwarded to debian-bugs-dist@lists.debian.org, Debian GNOME Maintainers <pkg-gnome-maintainers@lists.alioth.debian.org>: Bug#682481; Package gnome-shell. (Mon, 23 Jul 2012 08:51:03 GMT) (full text, mbox, link). Acknowledgement sent to Julien Cristau <jcristau@debian.org>: New Bug report received and forwarded. Copy sent to Debian GNOME Maintainers <pkg-gnome-maintainers@lists.alioth.debian