>>>>> "Martin" == Martin Vermeer <[EMAIL PROTECTED]> writes:
Martin> The patch is IMO good enough for 1.4 and we should not now Martin> spend time on refinement, though your idea is actually very Martin> good, I think. Now, that's diplomacy! How could I say anything else than, ``apply it''? :) JMarc