Ubuntu
gnome-shell package

  1. Bug #1715479
  2. Comment #16

Comment 16 for bug 1715479

Revision history for this message
In , Peter (peter-redhat-bugs) wrote :

also, is this still an issue now that you tried out 1.7.2? (see bug #1433033)