fake-hwclock on the other movidis machines

diff --git a/modules/debian-org/misc/local.yaml b/modules/debian-org/misc/local.yaml
index 336d81a..df108ba 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: