Although we've migrated to Git a long time ago, we still had svn.gnome.org up and running. I've killed svn.gnome.org just now. The svn repository data is still available to sysadmins, but not how long we'll keep it. -- Regards, Olav _______________________________________________ gnome-infrastructure mailing list [email protected] https://mail.gnome.org/mailman/listinfo/gnome-infrastructure
