Re: Make lines stricter to fix a space leak

On Monday 27 September 2010 22:18:40, Daniel Fischer wrote:

Although the Core looks as though it might leak,

And with 6.8.3 it does leak indeed, but no more with 6.10.* and 6.12.*. All produced identical Core, so it's probably a change in the garbage collector.