Re: [patch] fix bug 808

[Juergen Spitzmueller]

Georg Baum wrote:
> Then I propose to put this patch (1.4 version) in trunk and 1.4. OK?

Looks very reasonable to me.

Jürgen