Add poldi to DNS.

diff --git a/src/openstreetmap b/src/openstreetmap
index 361d19589a1d593ed83cd7be3fcd98a77400b214..662af515cc8c36414a23e33306ab80a81f1378ab 100644 (file)
--- a/src/openstreetmap
+++ b/src/openstreetmap
@@ -57,6 +57,10 @@
 +katie.internal.openstreetmap:10.0.0.6
 +nominatim.openstreetmap:128.40.168.101
 
++poldi.openstreetmap:128.40.168.106 
++poldi.internal.openstreetmap:10.0.0.16
++poldi.ilo.openstreetmap:10.0.0.66
+
 # Gazetteer (namefinder) server
 
 +gazetteer.openstreetmap:128.40.168.96