debian/20200628-1

Tobias Frost

@tobi

e3058ef4 · New upstream git snapshot. · Aug 25, 2020

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