Add idris to DNS

diff --git a/src/openstreetmap b/src/openstreetmap
index 667312e608c8979c2a983116a654241b9a2c749f..7d4cd54f5153b210470486a80b06cc2ecd2f2a26 100644 (file)
--- a/src/openstreetmap
+++ b/src/openstreetmap
@@ -227,6 +227,8 @@ Cc.tile.openstreetmap:tile.geo.openstreetmap.org:600
 
 +puff.ucl.openstreetmap:10.0.0.10
 +puff.oob.openstreetmap:10.0.1.10
++idris.ucl.openstreetmap:10.0.0.4
++idris.oob.openstreetmap:10.0.1.4
 
 # APC power switches