There is a confusion between those two packages, gnome-shell-extension- dashtodock and gnome-shell-extension-ubuntu-dock. We follow the ubuntu one.
** Package changed: gnome-shell-extension-dashtodock (Ubuntu) => gnome- shell-extension-ubuntu-dock (Ubuntu) -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gnome-shell-extension-ubuntu-dock in Ubuntu. https://bugs.launchpad.net/bugs/1759526 Title: Enabling 'Auto-hide the Dock' moves the clock and desktop icons To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-shell-extension-ubuntu-dock/+bug/1759526/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
