From 40967ef149431c5afead45ad4b2fe25922f5dcb2 Mon Sep 17 00:00:00 2001
From: Holger Levsen <holger@layer-acht.org>
Date: Sun, 6 Sep 2015 23:34:35 +0200
Subject: afaics ftp.de is not used on the armhf nodes

---
 TODO | 1 -
 1 file changed, 1 deletion(-)

diff --git a/TODO b/TODO
index 44fa47ec..3928cfaa 100644
--- a/TODO
+++ b/TODO
@@ -247,7 +247,6 @@ properties:
 
 ==== reproducible Debian armhf
 
-* vagrant: it appears that /etc/pbuilderrc and /etc/pbuilder/buildd-config.sh both still contain ftp.de.debian.org mirrors for some things. appears to only be using them to download .dsc and related files, but that ends up being a little suboptimal
 * monitor their temperatures via munin
 * make systems send mail
 * change date on 2nd build hosts (and disable systemd-timesyncd)
-- 
cgit v1.2.3-70-g09d2