>>>>> "Martin" == Martin Vermeer <[EMAIL PROTECTED]> writes:
Martin> I just updated the patch in bugzilla to reflect Georg's Martin> correction. Please commit it. JMarc
>>>>> "Martin" == Martin Vermeer <[EMAIL PROTECTED]> writes:
Martin> I just updated the patch in bugzilla to reflect Georg's Martin> correction. Please commit it. JMarc