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.