Re: [PATCH] Improve and extend test cond5.test.

[Stefano Lattarini]

Hello Ralf.

May I ping this?  If you think the patch is OK, I'd like to see it 
applied, since at present I'm continuing to experience annoying 
spurious failures in cond5.test.

Thanks,
     Stefano