Abdelrazak Younes wrote:
> This should go in branch Jurgen. It is I think the right fix for bug 4178.

Looks good. Please commit.

Jürgen

Reply via email to