Enrico Forestieri wrote:
> The attached patch fixes the problem in trunk.
> Jürgen, OK for branch, too?

Yes.

Jürgen

Reply via email to