All the armhfs hosts have a broken RTC, don't they?

diff --git a/modules/debian-org/misc/local.yaml b/modules/debian-org/misc/local.yaml
index 9414d25..d76e956 100644 (file)
--- a/modules/debian-org/misc/local.yaml
+++ b/modules/debian-org/misc/local.yaml
@@ -225,6 +225,15 @@ host_settings:
     - arne.debian.org
     - arnold.debian.org
     - ball.debian.org
+    - harris.debian.org
+    - hartmann.debian.org
+    - hasse.debian.org
+    - hebden.debian.org
+    - henze.debian.org
+    - hildegard.debian.org
+    - hoiby.debian.org
+    - howells.debian.org
+    - hummel.debian.org
     - lucatelli.debian.org
     - rem.debian.org
     - sompek.debian.org