*** This bug is a duplicate of bug 1967121 ***
https://bugs.launchpad.net/bugs/1967121
Thank you for taking the time to report this bug and helping to make
Ubuntu better. This particular bug has already been reported and is a
duplicate of bug 1967121, so it is being marked as such. Please
** Package changed: ubuntu => gnome-shell-extension-ubuntu-dock (Ubuntu)
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1975724
Title:
Dock right click menu jumps on autohide
To manage
Thank you for taking the time to report this bug and helping to make
Ubuntu better. It seems that your bug report is not filed about a
specific source package though, rather it is just filed against Ubuntu
in general. It is important that bug reports be filed about source
packages so that people