>>>>> "Martin" == Martin Vermeer <[EMAIL PROTECTED]> writes:
Martin> Here's the patch. Trivial (Georg, how did we overlook this?) Martin> OK to put into both trunk and 1.4? OK for 1.4. JMarc
>>>>> "Martin" == Martin Vermeer <[EMAIL PROTECTED]> writes:
Martin> Here's the patch. Trivial (Georg, how did we overlook this?) Martin> OK to put into both trunk and 1.4? OK for 1.4. JMarc