]> git.openstreetmap.org Git - dns.git/blobdiff - src/hosts.js
Update IPv4 address for idris
[dns.git] / src / hosts.js
index 9580ead7215828fd90ca4621006f3fc535b66dbf..8d31e24af88d2dbafd098d25a60bb30b8f399cde 100644 (file)
@@ -77,7 +77,7 @@ var GRISU_IPV6 = "2001:41c9:2:d6::20";
 var GRISU_INTERNAL = "10.0.32.20";
 var GRISU_OOB = "10.0.33.20";
 
-var IDRIS_IPV4 = "200.25.60.195";
+var IDRIS_IPV4 = "200.25.60.197";
 var IDRIS_IPV6 = "2800:1e0:1030::64";
 
 var IRONBELLY_IPV4 = "130.117.76.10";