* Chris Hofstaedtler <zeha at debian.org> [231203 12:00]: > For your convenience I'm attaching a patch to fix this, that you can > apply today. Please also find a merge request on salsa here: https://salsa.debian.org/gnome-team/mutter/-/merge_requests/113 Chris