Stephan Witt wrote:
I have no bug number or report.
But it looks right.:)
Jürgen, please, can you have a look if it makes sense?

It does, AFAICS (without further testing, though).

Jürgen

Reply via email to