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 9414d25c9bd4a561c047b912945bb66e9ece4f23..d76e95644e95599483098ce5771e951895cb92d7 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