I have tested the patch at
https://git.gnome.org/browse/mutter/patch/?id=542ed1d024042cadae1c92c73
eb1e7f1acafd7e8
and after rebuilding mutter 3.22.3-1 with such patch applied, the
problem disappears.

It is a small patch, I hope it can be accepted by the release team.
Let me know if I can help.

Pietro

Reply via email to