Ubuntu
gnome-shell package

  1. Bug #1813674
  2. Comment #4

Comment 4 for bug 1813674

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

Thanks for the link. That is bug 1813853, so the problem seems to be the 'dash-to-panel' extension.