>>>>> "Martin" == Martin Vermeer <[EMAIL PROTECTED]> writes:

Martin> OK, that's done then. We'll hear about if it is wrong.

I applied that to 1.3.x too.

JMarc

Reply via email to