>>>>> "Enrico" == Enrico Forestieri <[EMAIL PROTECTED]> writes:

>> I'll apply it tomorrow (is there a bug number?)

Enrico> Bug 3962.

Thanks. The patch is applied now.

JMarc

Reply via email to