Ubuntu
gnome-shell package

  1. Bug #1731102
  2. Comment #4

Comment 4 for bug 1731102

Revision history for this message
David Beswick (dlbeswick) wrote :

Yes, it does sound like those bugs. Thanks for taking a look, Daniel.