Re: [PATCH] bug 3947 (was: bug RC2)

[Jürgen Spitzmüller]

José Matos wrote:
> Jürgen what do you think about this patch?
>
> It seems clean and self-contained and has been tested by Uwe.

I didn't test it, but it looks ok.

Jürgen