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