chopin no longer is part of heavy_exim

diff --git a/modules/debian-org/misc/local.yaml b/modules/debian-org/misc/local.yaml
index 7110b8d4b6e19d90ca5e82d9df52d633b2400802..8e5d01d48ec82eda3241bc51fc34e21fdff80145 100644 (file)
--- a/modules/debian-org/misc/local.yaml
+++ b/modules/debian-org/misc/local.yaml
@@ -152,7 +152,6 @@ footer:
 host_settings:
   heavy_exim:
     - buxtehude.debian.org
-    - chopin.debian.org
     - draghi.debian.org
     - franck.debian.org
     - gombert.debian.org