Control: severity -1 important
Hi Jason,
thanks for the repoort.
Note the gnome's default setting is not to enforce compatibility settings,
so reducing the severity for now:
https://bugzilla.gnome.org/show_bug.cgi?id=770887
(I will do an upload soonish)
--
tobi
Package: gnome-shell-extension-autohidetopbar
Version: 20170728-1
Severity: grave
This extension's metadata.json declares that it only works with
gnome-shell versions 3.24 and earlier. Since testing and unstable now
have gnome-shell version 3.26, this extension no longer loads. This is
fixed in
2 matches
Mail list logo