Ubuntu
gnome-shell package

  1. Bug #1769383
  2. Comment #42

Comment 42 for bug 1769383

Revision history for this message
Daniel van Vugt (vanvugt) wrote :

Yes, maybe log a new bug with:

  ubuntu-bug gnome-shell-extension-dashtodock