Ubuntu
gnome-shell package

  1. Bug #1713323
  2. Comment #34

Comment 34 for bug 1713323

Revision history for this message
Jeremy Bícha (jbicha) wrote :

Rachel, thanks for reporting on the current status. I am marking this a duplicate of bug 1717272 since that was the mutter bug that fixed several of the issues reported here.

Please do file that separate bug report.