Merge branch 'master' of ssh://handel.debian.org/srv/puppet.debian.org/git/dsa-puppet

[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 46ee1ab..8206d68 100644 (file)
--- a/modules/debian-org/misc/local.yaml
+++ b/modules/debian-org/misc/local.yaml
@@ -96,6 +96,7 @@ host_settings:
     - rore.debian.org
     - saens.debian.org
     - samosa.debian.org
+    - senfl.debian.org
     - tartini.debian.org
   buildd:
     - ancina.debian.org