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

[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 46ee1abe73fd3d5925fcde4ab34a8d04bc67857e..8206d68a3d6741551fb5b4fc88e30e3916d1ee6b 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