Re: [patch] fix bug 5752

[Jürgen Spitzmüller]

Uwe Stöhr wrote:
> This is done in the attached patch for branch. I also added your requested
> FIXME and a FIXME for bug 5754.

This looks good.

Jürgen