>>>>> "Martin" == Martin Vermeer <[EMAIL PROTECTED]> writes:

Martin> Agree. This is as good as it gets for 1.4.

Martin> I propose to check this in, with perhaps a FIXME added to the
Martin> effect that we're cheating here.

OK.

JMarc

Reply via email to