Paul and all,

is this change okay? I need this so that I can get patch to behave
consistently across platforms on failures.

Thanks,
Andreas

Reply via email to