gnome-shell/gnome-shell-exit-crash-workaround.patch

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;
 }