Comment 12 for bug 1966808

Noted, thank you. I'll check after 42.0-1ubuntu1 is released. I am a bit unsure of this though, this is what I currently see:

$# dpkg -l|grep -i mutter
ii gir1.2-mutter-10:amd64 42~beta-1ubuntu2 amd64 GObject introspection data for Mutter
ii libmutter-10-0:amd64 42~beta-1ubuntu2 amd64 window manager library from the Mutter window manager
ii mutter-common 42~beta-1ubuntu2 all shared files for the Mutter window manager

Out of these, should I be looking at the mutter-common (or libmutter?) version to change to 42.0-1ubuntu1?

Thanks