This bug was fixed in the package gnome-shell - 3.1.3-0ubuntu3
--------------- gnome-shell (3.1.3-0ubuntu3) oneiric; urgency=low
* debian/control.in: Add recommends to gnome-user-guide, so that installing Shell also pulls in the corresponding help. (LP: #819158) -- Martin Pitt <email address hidden> Tue, 16 Aug 2011 10:26:20 +0200
This bug was fixed in the package gnome-shell - 3.1.3-0ubuntu3
---------------
gnome-shell (3.1.3-0ubuntu3) oneiric; urgency=low
* debian/control.in: Add recommends to gnome-user-guide, so that installing
Shell also pulls in the corresponding help. (LP: #819158)
-- Martin Pitt <email address hidden> Tue, 16 Aug 2011 10:26:20 +0200