The dev.openstreetmap.org name has been moved to point at errol, the new development server.
Web sites will automatically be redirected to the old server, but anybody needing to login to the old server should use old-dev.openstreetmap.org as the name to ssh to. The admin team will be contacting people using dev over the next few weeks to arrange for things to be moved over to the new machine. Tom -- Tom Hughes ([email protected]) http://www.compton.nu/ _______________________________________________ dev mailing list [email protected] http://lists.openstreetmap.org/listinfo/dev
