New Upstream Snapshot - gnome-shell-extension-autohidetopbar

Merged new upstream version: 20180908+git20190804.0fd004c (was: 20180908).

More details

Full run details