]> git.openstreetmap.org Git - dns.git/commitdiff
Remove poldi from DNS
authorTom Hughes <tom@compton.nu>
Thu, 12 Jul 2018 16:56:00 +0000 (17:56 +0100)
committerTom Hughes <tom@compton.nu>
Thu, 12 Jul 2018 16:56:00 +0000 (17:56 +0100)
src/openstreetmap

index 8c6e9389f97a502f9e879c43fae8070990fc0402..7baf5dd0660eae9de14240d892fdb36edecee918 100644 (file)
@@ -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