Ubuntu
gnome-shell package

  1. Bug #1726538
  2. Comment #5

Comment 5 for bug 1726538

Revision history for this message
Daniel van Vugt (vanvugt) wrote :

OK. There is still bug 1292398 open though. Sounds too closely related to keep separate from this one. The people in bug 1292398 have been using Gnome Shell since at least 2014 so they certainly would have hit this problem before the rest of us...