Upstream issue #1059 was closed as being a duplicate of https://gitlab.gnome.org/GNOME/mutter/issues/572. Updating upstream bug task and reassigning Ubuntu task. Still a problem in Ubuntu 19.10.
Upstream issue #1059 was closed as being a duplicate of https:/ /gitlab. gnome.org/ GNOME/mutter/ issues/ 572. Updating upstream bug task and reassigning Ubuntu task. Still a problem in Ubuntu 19.10.