Ubuntu
gnome-shell package

  1. Bug #1532508
  2. Comment #42

Comment 42 for bug 1532508

Revision history for this message
Nicolas_Raoul (nicolas-raoul) wrote :

Original poster here.

I switched to 19.04 (disco) in April, and I have never seen this bug again since (default window manager and everything).