gnome-shell-extension-autohidetopbar (20140113-1) unstable; urgency=low

  * Initial release (Closes: #735222)

 -- Tobias Frost <tobi@coldtobi.de>  Sat, 18 Jan 2014 17:07:07 +0100
