Add DNS for puff's external interface.

diff --git a/openstreetmap.org b/openstreetmap.org
index 4f24187f5c47e1b7f735b34863b34ec3f0452ae9..68243df3c5d6cef6d32b76112df31b92c7967443 100644 (file)
--- a/openstreetmap.org
+++ b/openstreetmap.org
@@ -73,6 +73,7 @@
 
 # New HP servers
 
 
 # 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
 +puff.internal.openstreetmap.org:10.0.0.8
 +puff.ilo.openstreetmap.org:10.0.0.58
 +fuchur.internal.openstreetmap.org:10.0.0.9