>>>>> "Michael" == Michael Schmitt <[EMAIL PROTECTED]> writes:
Michael> Hmmm, nobody seems to object. Michael> So could you please commit the patch? I'll prepare a 1.4.0 Michael> patch later today. I applied it, along with the 1.4.0 version you sent privately to me. JMarc
