fake-hwclock on the other movidis machines

diff --git a/modules/debian-org/misc/local.yaml b/modules/debian-org/misc/local.yaml
index 336d81a23da416427a19e17127ce9cfc03a01806..df108ba797b3333f2bf44a09b6e2b012f4b04f81 100644 (file)
--- a/modules/debian-org/misc/local.yaml
+++ b/modules/debian-org/misc/local.yaml
@@ -436,6 +436,8 @@ host_settings:
     - howells.debian.org
     - hummel.debian.org
     - lucatelli.debian.org
+    - corelli.debian.org
+    - gabrielli.debian.org
     - rem.debian.org
     - sompek.debian.org
   mail_port: