Ubuntu
gnome-shell package

  1. Bug #1799293
  2. Comment #24

Comment 24 for bug 1799293

Revision history for this message
Andrea Azzarone (azzar1) wrote :

Fix released in disco: https://launchpad.net/ubuntu/+source/gnome-shell-extension-ubuntu-dock/64ubuntu2