File gnome-shell-exit-crash-workaround.patch of Package gnome-shell
Index: gnome-shell-45.0/src/main.c =================================================================== --- gnome-shell-45.0.orig/src/main.c +++ gnome-shell-45.0/src/main.c @@ -736,7 +736,7 @@ main (int argc, char **argv) g_object_unref (shell_global_get ()); g_debug ("Tearing down the mutter context"); - meta_context_destroy (g_steal_pointer (&context)); + g_steal_pointer (&context); return ecode; }