Add the external address for idris

diff --git a/src/openstreetmap b/src/openstreetmap
index a046c447a995da851a49ce4ce954e41a8857d7a1..01525bfb3f50e76a897ba6cd5617fd9aee829611 100644 (file)
--- a/src/openstreetmap
+++ b/src/openstreetmap
@@ -229,6 +229,7 @@ Cc.tile.openstreetmap:tile.geo.openstreetmap.org:600
 
 +puff.ucl.openstreetmap:10.0.0.10
 +puff.oob.openstreetmap:10.0.1.10
 
 +puff.ucl.openstreetmap:10.0.0.10
 +puff.oob.openstreetmap:10.0.1.10

++idris.openstreetmap:128.40.168.98

 +idris.ucl.openstreetmap:10.0.0.4
 +idris.oob.openstreetmap:10.0.1.4
 
 +idris.ucl.openstreetmap:10.0.0.4
 +idris.oob.openstreetmap:10.0.1.4