final GC tweak for this version

Matthew Fluet mfluet@intertrust.com
Fri, 6 Jul 2001 10:30:14 -0700 (PDT)


> Not bad.  Anyways, it passed all the regressions and I am now doing the final
> benchmark run.

If you're rerunning the benchmarks, did you grab the newest MLKit which
addressed the bugs you reported earlier this week.