It's worth a try. Just open a new issue at:
https://gitlab.gnome.org/GNOME/mutter/issues
And then tell us the new issue ID.
It's worth a try. Just open a new issue at:
https:/ /gitlab. gnome.org/ GNOME/mutter/ issues
And then tell us the new issue ID.