Add idris's internal IP address to the DNS.

diff --git a/openstreetmap.org b/openstreetmap.org
index c6d32c58c709e526ce307cd242cc062ac0ab9d34..4c85095f019cf0462c08bfa95aea084a39f40db9 100644 (file)
--- a/openstreetmap.org
+++ b/openstreetmap.org
@@ -142,6 +142,7 @@
 +trac.openstreetmap.org:89.16.177.88
 #+wiki.openstreetmap.org:89.16.177.88
 +irc.openstreetmap.org:89.16.177.88
++idris.internal.openstreetmap.org:10.0.0.253
 
 # Wiki is currently fronted by Grant's proxy (short timeout to allow changes)