On Fri, May 7, 2021 at 12:19 PM Michal Konecny <mkonecny@redhat.com> wrote:
I still have some issue with mutter (already fixed upstream), but I
noticed it's not part of the GNOME 40.1 update. Do you know when the new
version of mutter will be available?

No, I don't know, sorry.

-- 
Kalev