Hi Florian,
I've hit numerous bugs in GNOME in F31. Some of these are fixed in F32,
such as this one against mutter:
https://bugzilla.redhat.com/show_bug.cgi?id=1770296
Could we get some of these fixes backported? I've not heard from you on
this bug at all, despite a needinfo request since March.
Thanks,
- Alex