>>>>> "Gabriel" == Gabriel Dos Reis <Gabriel.Dos-Reis@cmla.ens-cachan.fr> writes: > RTH checked-in a patch intended to deal with a similar problem. Your > patch corrects the problem in the Right Place. Would you mind > reverting RHT's? (It will go anyway). Done (and checked mine in). Jason