DNS update: planet.openstreetmap.org now on horntail.

diff --git a/openstreetmap.org b/openstreetmap.org
index e564ee472c51568576af7144c63881bdfb7719a1..51c5c1005c627a5488bf27fae5f8c3c1be0e48a4 100644 (file)
--- a/openstreetmap.org
+++ b/openstreetmap.org
@@ -113,9 +113,9 @@
 +foundation.openstreetmap.org:128.40.168.102
 +ridley.internal.openstreetmap.org:10.0.0.3
 
-# Planet dumps are currently served from dev
+# Planet dumps are currently served from horntail
 
-+planet.openstreetmap.org:128.40.168.100
++planet.openstreetmap.org:128.40.168.99
 
 # Spare servers
 

diff --git a/openstreetmaps.org b/openstreetmaps.org
index 298fd947dfb02bd60c5f0bfbfac4c8b42f4eb160..85daf06893c597bb76ca3b2e616fbcdc7832b1be 100644 (file)
--- a/openstreetmaps.org
+++ b/openstreetmaps.org
@@ -113,9 +113,9 @@
 +foundation.openstreetmaps.org:128.40.168.102
 +ridley.internal.openstreetmaps.org:10.0.0.3
 
-# Planet dumps are currently served from dev
+# Planet dumps are currently served from horntail
 
-+planet.openstreetmaps.org:128.40.168.100
++planet.openstreetmaps.org:128.40.168.99
 
 # Spare servers