From: Tom Hughes <tom@compton.nu>
Date: Thu, 12 Jul 2018 16:56:00 +0000 (+0100)
Subject: Remove poldi from DNS
X-Git-Url: https://git.openstreetmap.org/dns.git/commitdiff_plain/33b87373954b09882288c7bc450f0941557ae990?hp=3e6da45a535e1dbcdecf4241344a551beb3c3b85

Remove poldi from DNS
---

diff --git a/src/openstreetmap b/src/openstreetmap
index 8c6e938..7baf5dd 100644
--- a/src/openstreetmap
+++ b/src/openstreetmap
@@ -155,13 +155,6 @@ Caf323lytato5.openstreetmap:gv-o4v3qh5pfayqex.dv.googlehosted.com
 
 # Nominatim servers
 
-+poldi.openstreetmap:193.63.75.101
-3poldi.openstreetmap:200106300012050002e081fffec5333e
-#+nominatim.openstreetmap:193.63.75.101:600
-#3nominatim.openstreetmap:200106300012050002e081fffec5333e:600
-+poldi.ic.openstreetmap:146.179.159.164:600
-+poldi.oob.openstreetmap:146.179.159.186:600
-
 +pummelzacken.openstreetmap:193.60.236.18
 #+nominatim.openstreetmap:193.60.236.18:600
 +pummelzacken.ucl.openstreetmap:10.0.0.20