On Wed, 20 Jul 2011 21:22:57 +0100, John-Mark Bell wrote:
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 :)
As it happens I only discovered it because I had to test a bug fix
with the stop button not activating until it was too late to be
useful, so I might have to share the prize with the person who spotted