restarting the GC

[Roberto Ierusalimschy <roberto@...>]

Currently, if you stop the garbage collector (collectgarbage'stop')
and later force a full collection (collectgarbage()), the collector
restarts running. How many of you rely on this behavior? Wouldn't
it be more useful to keep the collector stopped until an explicit
call to collectgarbage'restart'?

-- Roberto