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
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