debian/20140802-1
default avatar
tobi@coldtobi.de
85f3383b · New patch: POT file and German translation. · 
gnome-shell-extension-autohidetopbar Debian release 20140802-1