Andrew Dunstan wrote:
>
>
>> I think that this case might be fixed
>> by the tweaking I did yesterday, but I can't tell whether that run
>> occurred before or after that commit. In any case it's not a real
>> failure, just an output-ordering difference.
>>
>>
>
> I am running it again to see. I agree that at worst it would require
> an alternative output file, assuming we aren't bothered by these
> ordering differences.
>
>
No, it's still there :-(
cheers
andrew