Ubuntu
gnome-shell package

  1. Bug #937709
  2. Comment #2

Comment 2 for bug 937709

Revision history for this message
Julien Olivier (julo) wrote :

I've just tested with the packages in the GNOME3 Team PPA (https://launchpad.net/~gnome3-team/+archive/gnome3), and the bug is fixed.