Timo Lindfors Tue, 08 Aug 2023 02:57:24 -0700
Hi, this is most probably fixed by
https://gitlab.gnome.org/GNOME/mutter/-/merge_requests/3044 -Timo