debian/20200628-2

Tobias Frost

@tobi

4c2f0ada · Release gnome-shell-extension-autohidetopbar (20200628-2) · Sep 21, 2020

Unverified

gnome-shell-extension-autohidetopbar Debian release 20200628-2