Ubuntu
gnome-shell package

  1. Bug #1717453
  2. Comment #16

Comment 16 for bug 1717453

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

I haven't verified it myself yet, but it looks like this has been fixed upstream in gnome-shell 3.36 (!486).