Add pinel to heavy-exim

diff --git a/modules/debian-org/misc/local.yaml b/modules/debian-org/misc/local.yaml
index b291ca5230c66571b9562c43f4dd215201252a24..3842f8a9a3bd43b5c5f559ae02143e8d87e91424 100644 (file)
--- a/modules/debian-org/misc/local.yaml
+++ b/modules/debian-org/misc/local.yaml
@@ -154,6 +154,7 @@ host_settings:
     - master.debian.org
     - nono.debian.org
     - picconi.debian.org
+    - pinel.debian.org
     - popov.debian.org
     - quantz.debian.org
     - reger.debian.org