Re: [patch] fix bug 2060

[Juergen Spitzmueller]

Georg Baum wrote:
> PS: Daniel, many thanks for the bug reports. They are really useful.

I have to second that.

Jürgen