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

[dns.git] / data / openstreetmap.net

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