debian/20201005-1

Tobias Frost

@tobi

a417bb82 · Release gnome-shell-extension-autohidetopbar (20201005-1) · Oct 05, 2020

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