tags 800576 + upstream fixed-upstream thanksI can confirm that the (trivial) upstream change mentioned by Jerome above fixes this issue.
Ulrich
tags 800576 + upstream fixed-upstream thanksI can confirm that the (trivial) upstream change mentioned by Jerome above fixes this issue.
Ulrich