Hi,
svn repository has been finally moved to another server :)
pierremarc: migration is done, but DNS updates need some
times to reach you
you can speed up things by adding a line like '78.40.121.80
svn.gna.org subversion.gna.org' in your /etc/hosts
Regards,
Matt (gentildemon)
Matthieu Fe
Hi,
you have probably met with some problems with the svn repository on
Gna.org. The problem is known and we expect that the gna.org team will
resolve it soon:
https://gna.org/support/?2059
Regards,
Matt (gentildemon)
___
Wormux-dev mailing list
Wo
