> Err, the svn repo seems to have been migrated without history? That > seems undesirable to me. svnadmin dump and svnadmin load or svnadmin > hotcopy should do the trick. Indeed, it is now fixed! Thanks for point this out. Raphael, it is really OK now! Sylvestre