I applied the patch by hand (not working with CVS) and it
does _not_ solve the problem.

In this case, I am sorry but the probability of a fix before the release is close to zero.

Paolo

Reply via email to