>>>>> "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
>>>>> "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