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 that :) Chris
