Ubuntu
gnome-shell package

  1. Bug #1812527
  2. Comment #70

Comment 70 for bug 1812527

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

The fix has "landed" in git, meaning it will be in the next 18.04 update of gnome-shell. But I don't know when that will be.