no more heavy exim on ravel

diff --git a/modules/debian-org/misc/local.yaml b/modules/debian-org/misc/local.yaml
index 038964c05c219e0fadcdc271ebb93d376bb408b5..ea72293f68e47a8f3aa6e1063427798499bdc4eb 100644 (file)
--- a/modules/debian-org/misc/local.yaml
+++ b/modules/debian-org/misc/local.yaml
@@ -160,7 +160,6 @@ host_settings:
     - picconi.debian.org
     - popov.debian.org
     - quantz.debian.org
-    - ravel.debian.org
     - reger.debian.org
     - tye.debian.org
     - vento.debian.org