On Wed, 2011-07-20 at 18:27 +0100, Chris Young wrote: > On Wed, 20 Jul 2011 00:09:27 +0100, John-Mark Bell wrote:
> > Alternatively, try r12612. > > Tried it once, crashed. Tried umpteen times, outputting a log file, > and couldn't reproduce it. Tried it again without a log file and > still can't get it to crash. If it isn't fixed, it is at least more > stable. I'll keep trying it, but unless I can get it to happen again > I think we can consider this resolved. r12613 probably fixes the last of it. I'm not sure what prize you win for discovering this issue :) J.
