debian/20141025-1

tobi@coldtobi.de

0ed19f6f · Move to collab-maint, release · Oct 25, 2014

gnome-shell-extension-autohidetopbar Debian release 20141025-1