debian/20170728-1
default avatar
tobi@coldtobi.de
0c3e1d96 · Release new package version ·
Unverified 
gnome-shell-extension-autohidetopbar Debian release 20170728-1