On Thu, Jul 28, 2005 at 04:28:18PM +0100, Andrew Haley wrote: > What happend to this fix? AFAICS the bug is still there. Dunno what happened. But I've re-tested and committed my patch. r~