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