From d66548d20484651943302108162b6647d1122015 Mon Sep 17 00:00:00 2001
From: Peter Palfrader <peter@palfrader.org>
Date: Sat, 25 May 2013 08:56:51 +0200
Subject: [PATCH] fake-hwclock on the other movidis machines

---
 modules/debian-org/misc/local.yaml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/modules/debian-org/misc/local.yaml b/modules/debian-org/misc/local.yaml
index 336d81a23..df108ba79 100644
--- 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:
-- 
2.20.1