Switch dev.osm.org back to errol - user pages are now redirected.

diff --git a/openstreetmap.org b/openstreetmap.org
index 2cb835bcb5badc22eeeb2ad29f7b6e756aac05c8..e1f08224a295bd79ce04904549576dbfd31911de 100644 (file)
--- a/openstreetmap.org
+++ b/openstreetmap.org
@@ -88,12 +88,12 @@
 
 # Development server with wildcard alias for user sites
 
-+dev.openstreetmap.org:128.40.168.100
 +old-dev.openstreetmap.org:128.40.168.100
 +*.old-dev.openstreetmap.org:128.40.168.100
 +dev.internal.openstreetmap.org:10.0.0.5
 
 +errol.openstreetmap.org:128.40.168.103
++dev.openstreetmap.org:128.40.168.103
 +*.dev.openstreetmap.org:128.40.168.103
 +new-dev.openstreetmap.org:128.40.168.103
 +*.new-dev.openstreetmap.org:128.40.168.103