Add new HP servers to DNS.

[dns.git] / openstreetmap.org

diff --git a/openstreetmap.org b/openstreetmap.org
index d0fbbff9467d1a8324465949df02545d23f97c7e..4f24187f5c47e1b7f735b34863b34ec3f0452ae9 100644 (file)
--- a/openstreetmap.org
+++ b/openstreetmap.org
@@ -71,6 +71,19 @@
 
 +munin.openstreetmap.org:128.40.58.201
 
+# New HP servers
+
++puff.internal.openstreetmap.org:10.0.0.8
++puff.ilo.openstreetmap.org:10.0.0.58
++fuchur.internal.openstreetmap.org:10.0.0.9
++fuchur.ilo.openstreetmap.org:10.0.0.59
++draco.internal.openstreetmap.org:10.0.0.10
++draco.ilo.openstreetmap.org:10.0.0.60
++sarel.internal.openstreetmap.org:10.0.0.11
++sarel.ilo.openstreetmap.org:10.0.0.61
++norbert.internal.openstreetmap.org:10.0.0.12
++norbert.ilo.openstreetmap.org:10.0.0.62
+
 # Forum server
 
 +forum.openstreetmap.org:87.239.8.25
@@ -103,5 +116,3 @@
 # Our shop
 
 Cshop.openstreetmap.org:virtual.fotopic.net
-
-# Private LAN addresses for the UCL machines