File gnome-shell-exit-crash-workaround.patch of Package gnome-shell

Index: gnome-shell-42.rc/src/main.c
===================================================================
--- gnome-shell-42.rc.orig/src/main.c
+++ gnome-shell-42.rc/src/main.c
@@ -569,7 +569,7 @@ main (int argc, char **argv)
       ecode = EXIT_FAILURE;
     }
 
-  meta_context_destroy (g_steal_pointer (&context));
+  g_steal_pointer (&context);
 
   shell_profiler_shutdown ();