add widor.debian.org

[mirror/dsa-puppet.git] / modules / debian-org / misc / local.yaml

diff --git a/modules/debian-org/misc/local.yaml b/modules/debian-org/misc/local.yaml
index b2e2196..9757116 100644 (file)
--- a/modules/debian-org/misc/local.yaml
+++ b/modules/debian-org/misc/local.yaml
@@ -240,6 +240,7 @@ host_settings:
     - fasch.debian.org
     - field.debian.org
     - finzi.debian.org
+    - franck.debian.org
     - geo1.debian.org
     - geo2.debian.org
     - heininen.debian.org
@@ -402,6 +403,7 @@ host_settings:
     - englund.debian.org
     - rautavaara.debian.org
     - salieri.debian.org
+    - widor.debian.org
 #  reservedaddrs:
 #    ball.debian.org: "0.0.0.0/8 : 127.0.0.0/8 : 169.254.0.0/16 : 172.16.0.0/12 : 192.0.0.0/17 : 192.168.0.0/16 : 224.0.0.0/4 : 240.0.0.0/5 : 248.0.0.0/5"
 ---