[Opensync-users] svn.opensync.org down?

[Guillaume P. <gpo...@gm...>]

Hi,
it seems there is a problem with the svn server:
gpothier@tadzim:~$ ping svn.opensync.org
ping: unknown host svn.opensync.org

Has the server changed name, or is it a temporary failure?
Regards,
Guillaume Pothier