This crash happend exactly in the same moment as #629841.
Both happend when closing a half-working gnome-shell session (see #629828) by pressing Ctrl+C.
This crash happend exactly in the same moment as #629841.
Both happend when closing a half-working gnome-shell session (see #629828) by pressing Ctrl+C.