Commit fd22eff2cfd6d1dfd2b8acc56f727e4d5b9c123f

Bruno Haible 2006-10-25T18:56:19

One more modif.