This bug was fixed in the package gnome-shell - 3.2.1-8ubuntu1
--------------- gnome-shell (3.2.1-8ubuntu1) precise; urgency=low
* Sync with Debian (LP: #877135). Remaining changes: * debian/control.in: Recommend gnome-user-guide * debian/gnome-shell.gsettings-override: Update for Ubuntu defaults * Watch for unstable releases -- Jeremy Bicha <email address hidden> Tue, 20 Dec 2011 02:25:09 -0500
This bug was fixed in the package gnome-shell - 3.2.1-8ubuntu1
---------------
gnome-shell (3.2.1-8ubuntu1) precise; urgency=low
* Sync with Debian (LP: #877135). Remaining changes: gnome-shell. gsettings- override: Update for Ubuntu defaults
* debian/control.in: Recommend gnome-user-guide
* debian/
* Watch for unstable releases
-- Jeremy Bicha <email address hidden> Tue, 20 Dec 2011 02:25:09 -0500