Ubuntu
gnome-shell package

  1. Bug #1724098
  2. Comment #26

Comment 26 for bug 1724098

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

Maybe not. Today I did see the bug, or something like it, occur in Gnome Shell 3.35.