Update DNS for poldi

diff --git a/src/openstreetmap b/src/openstreetmap
index 83e507a7414320b846dcada5a430666f2a932932..31481d8baa774184b8b4c0f540b265a9ee4b0f0b 100644 (file)
--- a/src/openstreetmap
+++ b/src/openstreetmap
@@ -99,10 +99,10 @@ Zopenstreetmap:a.ns.bytemark.co.uk:hostmaster.openstreetmap.org:::::300
 
 # Nominatim servers
 
-+poldi.openstreetmap:128.40.45.203
-#+nominatim.openstreetmap:128.40.45.203:600
-+poldi.ucl.openstreetmap:10.0.0.16
-+poldi.oob.openstreetmap:10.0.1.16
++poldi.openstreetmap:193.63.75.101
+#+nominatim.openstreetmap:193.63.75.101:600
++poldi.ic.openstreetmap:146.179.159.164
++poldi.oob.openstreetmap:146.179.159.186
 
 +pummelzacken.openstreetmap:128.40.45.204
 +nominatim.openstreetmap:128.40.45.204:600