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

Reply via email to