Add taginfo.openstreetmap.org pointing at the openstreetmap.de server

[dns.git] / data / openstreetmap.org

diff --git a/data/openstreetmap.org b/data/openstreetmap.org
index ae02762834c8c090f8e9d1d67dda6a1e8ca0fea2..89f31122a3e14b8d29a8601a325c4f80c177928e 100644 (file)
--- a/data/openstreetmap.org
+++ b/data/openstreetmap.org
@@ -145,7 +145,6 @@
 +otrs.openstreetmap.org:128.40.168.102
 +blog.openstreetmap.org:128.40.168.102
 +foundation.openstreetmap.org:128.40.168.102
-+civicrm.openstreetmap.org:128.40.168.102
 +ridley.internal.openstreetmap.org:10.0.0.3
 
 # Planet dumps are currently served from horntail
@@ -211,3 +210,8 @@
 # HOT site
 
 +hot.openstreetmap.org:69.163.129.108
+
+# Jochen Topf's taginfo service, running on openstreetmap.org.de hardware
+
++taginfo.openstreetmap.org:85.214.118.227
+3taginfo.openstreetmap.org:2a0102384000000003cac7808a7d7be2