Ubuntu
gnome-shell package

  1. Bug #1276467
  2. Comment #22

Comment 22 for bug 1276467

Revision history for this message
mejo (jonas-freesources) wrote :

Now the bug reappeared again, so it's by no means solved for me. Sorry for the confusion.