debian/20200322-1

Tobias Frost

@tobi

bd074178 · Release gnome-shell-extension-autohidetopbar (20200322-1) · Apr 08, 2020

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