Re: It's time for 5.0.1

[Peter Stephenson <p.w.stephenson@xxxxxxxxxxxx>]

On Sat, 08 Dec 2012 11:54:16 -0800
Bart Schaefer <schaefer@xxxxxxxxxxxxxxxx> wrote:
> The only other
> thing we might want to consider is [tweaked slightly] workers/30818.
> The trouble is that as noted in 30826, it doesn't entirely solve the
> underlying problem.  On the other hand, it might improve common cases
> enough to be worth applying while we think about optimizing freeheap().

Yes, I'd say it's worth committing, although I don't know where we go next.

pws