I think that the attached patch fixes it.
Confirmed that Enrico's patch fixes this.

Jürgen, Ok for branch?

I'd suggest it.

rh


Reply via email to