>>>>> "Martin" == Martin Vermeer <[EMAIL PROTECTED]> writes:
Martin> OK, at least part of this patch was tested by me and found Martin> functional. Saw no side effects (and couldn't really imagine Martin> any). So, I would say, put it in. I did that. JMarc
