New Upstream Release - gnome-shell-extension-autohidetopbar
Merged new upstream version: 20190804 (was: 20180908).
More details
A new upstream version is available: 20210104
Merged new upstream version: 20190804 (was: 20180908).
A new upstream version is available: 20210104