Quoting Martin Quinson (martin.quinson@loria.fr): > Aren't we supposed switching to SVN before any subsequent commits ?? Hmm, well, I missed the last exchanges between Nico and you when I did the commit. Anyway, this is of low importance if that commit is lost....we will just have to do it again.