This bug was fixed in the package gnome-shell-extension-autohidetopbar - 20200627-1
--------------- gnome-shell-extension-autohidetopbar (20200627-1) unstable; urgency=medium * New upstream git snapshot. * Try to mark this Ubuntu Bug as closed. (LP: #1764111). (No idea if that works, but SSO on launchpad.net is broken for me). The actual fix for this issue was part of 20180908-2. * Bump dependency version on gnome-shell, upstream says it requires 3.32 or newer. * Add upstream repo to metadata -- Tobias Frost <t...@debian.org> Sat, 27 Jun 2020 14:19:33 +0200 ** Changed in: gnome-shell-extension-autohidetopbar (Ubuntu) Status: New => Fix Released -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1764111 Title: dependency should change To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-shell-extension-autohidetopbar/+bug/1764111/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs