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

..

core.js

js: use System.gc() instead of shell_global_gc()

2012-07-12 20:11:38 -04:00