mutter 42.0-1ubuntu2~ppa1 is a locally-patched version with a work-around for https://gitlab.gnome.org/GNOME/mutter/-/issues/2216, as not being able to re-order my tabs in firefox was bothering me.
mutter 42.0-1ubuntu2~ppa1 is a locally-patched version with a work-around for https:/ /gitlab. gnome.org/ GNOME/mutter/ -/issues/ 2216, as not being able to re-order my tabs in firefox was bothering me.