Cosimo Cecchi e756c2dbce js: use System.gc() instead of shell_global_gc()
gjs now offers a gc() method in the System module, no need to use our
own.

https://bugzilla.gnome.org/show_bug.cgi?id=679832
2012-07-12 20:11:38 -04:00
..
2012-02-29 20:16:14 +01:00
2012-07-09 18:12:38 -04:00
2011-11-11 11:15:38 -05:00
2012-06-19 18:24:52 +02:00