Please report this bug to the Gnome developers here:
https://gitlab.gnome.org/GNOME/mutter/issues/new
and then tell us the ID of the new bug.
Please report this bug to the Gnome developers here:
https:/ /gitlab. gnome.org/ GNOME/mutter/ issues/ new
and then tell us the ID of the new bug.