Ubuntu
gnome-shell package

  1. Bug #1882291
  2. Comment #5

Comment 5 for bug 1882291

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

I don't think that's necessary in this case. This bug has been happening for a year or so at least already.