Comment 38 for bug 1969422

Revision history for this message
Daniel van Vugt (vanvugt) wrote (last edit ):

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.