Point dev at errol.

diff --git a/openstreetmap.org b/openstreetmap.org
index 7da9d914b3bf5c60532ad73d72437febb319cfab..e1f08224a295bd79ce04904549576dbfd31911de 100644 (file)
--- a/openstreetmap.org
+++ b/openstreetmap.org
@@ -88,13 +88,13 @@
 
 # Development server with wildcard alias for user sites
 
 
 # Development server with wildcard alias for user sites
 

-+dev.openstreetmap.org:128.40.168.100
-+*.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
 +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
 +errol.internal.openstreetmap.org:10.0.0.14
 +new-dev.openstreetmap.org:128.40.168.103
 +*.new-dev.openstreetmap.org:128.40.168.103
 +errol.internal.openstreetmap.org:10.0.0.14