>>>>> "Enrico" == Enrico Forestieri <[EMAIL PROTECTED]> writes:
Enrico> Right, sorry for not being as diligent as you ;-) Given that Enrico> this is also unrelated to the patch, I think it works, as I Enrico> said in a following email. Thanks, I'll try to apply it tomorrow. JMarc
