[OSM-dev] dev server

[Tom Hughes]

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 (tom at compton.nu)
http://www.compton.nu/