This is confusing. errors.ubuntu.com reports the crash still occurring in 42.5-0ubuntu1 but it means gnome-shell 42.5-0ubuntu1, not mutter 42.5-0ubuntu1. And none at all recently enough to make the incident list so it seems the fix is actually working.
This is confusing. errors.ubuntu.com reports the crash still occurring in 42.5-0ubuntu1 but it means gnome-shell 42.5-0ubuntu1, not mutter 42.5-0ubuntu1. And none at all recently enough to make the incident list so it seems the fix is actually working.