Ubuntu
gnome-shell package

  1. Bug #1803319
  2. Comment #3

Comment 3 for bug 1803319

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

I think for Ubuntu 19.04 we'd probably just wait for upstream mutter release 3.32.1 which will contain the fix.