debian/20140131-1
default avatar
tobi@coldtobi.de
15108002 · Ready for release ·
Unverified 
gnome-shell-extension-autohidetopbar Debian release 20140131-1