** No longer affects: gnome-shell-extension-dashtodock (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/1947149
Title:
Dock auto-hide off but hidde
** Changed in: gnome-shell-extension-ubuntu-dock (Ubuntu)
Status: Fix Committed => Fix Released
--
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/1947149
** Changed in: gnome-shell-extension-ubuntu-dock (Ubuntu)
Status: In Progress => Fix Committed
** Also affects: gnome-shell-extension-dashtodock (Ubuntu)
Importance: Undecided
Status: New
** Changed in: gnome-shell-extension-dashtodock (Ubuntu)
Assignee: (unassigned) => Dani
