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

diff --git a/modules/debian-org/misc/local.yaml b/modules/debian-org/misc/local.yaml
index ae44129..cbdadf1 100644 (file)
--- a/modules/debian-org/misc/local.yaml
+++ b/modules/debian-org/misc/local.yaml
@@ -257,6 +257,7 @@ host_settings:
     - holter.debian.org
     - kassia.debian.org
     - kaufmann.debian.org
+    - kokkonen.debian.org
     - krenek.debian.org
     - lamb.debian.org
     - lindberg.debian.org