From 0f26db93a578d938406cb506d868eda43a791149 Mon Sep 17 00:00:00 2001 From: Aurelien Jarno Date: Tue, 8 Sep 2015 11:27:37 +0200 Subject: [PATCH] Use ftp.de.debian.org in manda Until issues with debian.netcologne.de are solved. --- modules/debian-org/misc/hoster.yaml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/modules/debian-org/misc/hoster.yaml b/modules/debian-org/misc/hoster.yaml index 65a4bdf7d..ec1e045ee 100644 --- a/modules/debian-org/misc/hoster.yaml +++ b/modules/debian-org/misc/hoster.yaml @@ -129,7 +129,8 @@ linaro: searchpaths: [debprivate-darmstadt.debian.org] #nameservers: [82.195.66.249, 217.198.242.225] nameservers: [82.195.75.109, 82.195.75.103] - mirror-debian: http://debian.netcologne.de/debian/ + #mirror-debian: http://debian.netcologne.de/debian/ [currently unstable] + mirror-debian: http://ftp.de.debian.org leaseweb: netrange: - 185.17.185.176/28 -- 2.20.1