Jean-Marc Lasgouttes Wed, 25 Oct 2006 01:30:33 -0700
>>>>> "Martin" == Martin Vermeer <[EMAIL PROTECTED]> writes:
Martin> Ah, it's already in, r15415. Seems I neglected to post to the Martin> list. Or maybe I forgot about it. Thanks. JMarc
