Remove grindtooth from DNS

[dns.git] / src / openstreetmap.js

diff --git a/src/openstreetmap.js b/src/openstreetmap.js
index 5ea67de4ae1edc22a83c46e8dab11711e0285f85..a6ccb2b06fab85f5b98b900e4193652c858d4938 100644 (file)
--- a/src/openstreetmap.js
+++ b/src/openstreetmap.js
@@ -622,12 +622,6 @@ D(DOMAIN, REGISTRAR, DnsProvider(PROVIDER),
   AAAA("meraxes", MERAXES_IPV6),
   A("firnen", FIRNEN_IPV4),
 
-  // Spare
-
-  A("grindtooth", GRINDTOOTH_IPV4),
-  A("grindtooth.ucl", GRINDTOOTH_INTERNAL),
-  A("grindtooth.oob", GRINDTOOTH_OOB),
-
   // Discourse server ("community")
 
   A("jakelong", JAKELONG_IPV4),