Re: [libsmi] Subversion server down?