New Upstream Release - gnome-shell-extension-autohidetopbar

Merged new upstream version: 20190804 (was: 20180908).

More details

Full run details

A new upstream version is available: 20210104