gnome-shell-extensions-autohidetopbar (0.2+1-1~webupd8~precise) precise; urgency=medium * gnome shell 3.4 compatibility -- Alin Andrei <email address hidden> Fri, 07 Oct 2011 11:52:33 +0300