gnome-shell-extensions-autohidetopbar (0.2-1~yavdr4~precise) precise; urgency=medium * let it work with gnome-shell 3.4.1 -- Gerald Dachs <email address hidden> Sat, 23 Feb 2013 16:32:33 +0100