Add grindtooth to DNS

diff --git a/src/openstreetmap b/src/openstreetmap
index 42b71529aea9d32bb0a6e26adca1e559d7de9607..3780abf1f5101b4def07e71d86b0694538169291 100644 (file)
--- a/src/openstreetmap
+++ b/src/openstreetmap
@@ -121,6 +121,13 @@ Zopenstreetmap:a.ns.bytemark.co.uk:hostmaster.openstreetmap.org:::::300
 +zark.ucl.openstreetmap:10.0.0.8
 +zark.oob.openstreetmap:10.0.1.8
 
+# Taginfo server
+
+#+grindtooth.openstreetmap:128.40.168.108
+#+taginfo.openstreetmap:128.40.168.108
++grindtooth.ucl.openstreetmap:10.0.0.19
++grindtooth.oob.openstreetmap:10.0.1.19
+
 # Mapnik tile server, with wildcard alias to allow parallel loading
 
 +orm.openstreetmap:193.63.75.98