New Upstream Release - gnome-shell-extension-autohidetopbar

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

Resulting package

Changes filename: gnome-shell-extension-autohidetopbar_20190804-1~jan+nur1_amd64.changes

Built on 2019-08-21T10:10 (took 2m16s)

The resulting binary packages can be installed (if you have the apt repository enabled) by running one of:

apt install -t fresh-releases gnome-shell-extension-autohidetopbar

More details

Full run details

A new upstream version is available: 20191227