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 -- devel-announce-list mailing list [email protected] https://mail.gnome.org/mailman/listinfo/devel-announce-list
