Add DNS for puff's external interface.

[dns.git] / openstreetmap.org

diff --git a/openstreetmap.org b/openstreetmap.org
index 66c47dc7f34781783178fdac385de06e07ae1ddd..68243df3c5d6cef6d32b76112df31b92c7967443 100644 (file)
--- a/openstreetmap.org
+++ b/openstreetmap.org
@@ -71,6 +71,20 @@
 
 +munin.openstreetmap.org:128.40.58.201
 
+# New HP servers
+
++puff.openstreetmap.org:128.40.58.203
++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