From 85bc8ccccc0be6293d5f36f0873ac96b4781240b Mon Sep 17 00:00:00 2001
From: Cosimo Cecchi <cosimoc@gnome.org>
Date: Thu, 12 Jul 2012 20:01:21 -0400
Subject: [PATCH] shell-global: remove shell_global_gc()

It's unused now.

https://bugzilla.gnome.org/show_bug.cgi?id=679832
---
 src/shell-global.c | 15 ---------------
 src/shell-global.h |  4 ----
 2 files changed, 19 deletions(-)

diff --git a/src/shell-global.c b/src/shell-global.c
index f467e3484..bb32a01c0 100644
--- a/src/shell-global.c
+++ b/src/shell-global.c
@@ -1191,21 +1191,6 @@ shell_global_reexec_self (ShellGlobal *global)
   g_ptr_array_free (arr, TRUE);
 }
 
-/**
- * shell_global_gc:
- * @global: A #ShellGlobal
- *
- * Start a garbage collection process.  For more information, see
- * https://developer.mozilla.org/En/JS_GC
- */
-void
-shell_global_gc (ShellGlobal *global)
-{
-  JSContext *context = gjs_context_get_native_context (global->js_context);
-
-  JS_GC (context);
-}
-
 static void
 shell_global_on_gc (GjsContext   *context,
                     ShellGlobal  *global)
diff --git a/src/shell-global.h b/src/shell-global.h
index 1c25c0453..b73183825 100644
--- a/src/shell-global.h
+++ b/src/shell-global.h
@@ -84,10 +84,6 @@ void    shell_global_get_pointer             (ShellGlobal         *global,
                                               int                 *y,
                                               ClutterModifierType *mods);
 
-
-/* JavaScript utilities */
-void     shell_global_gc                   (ShellGlobal *global);
-
 typedef struct {
   guint glibc_uordblks;