From 7a48305b28d078bb9a8457c9f346c75642014603 Mon Sep 17 00:00:00 2001 From: Peter Palfrader Date: Fri, 10 Oct 2014 13:38:23 +0200 Subject: [PATCH] add mirror for sanger --- modules/debian-org/misc/hoster.yaml | 1 + 1 file changed, 1 insertion(+) diff --git a/modules/debian-org/misc/hoster.yaml b/modules/debian-org/misc/hoster.yaml index 3cf8c1590..ba602d908 100644 --- a/modules/debian-org/misc/hoster.yaml +++ b/modules/debian-org/misc/hoster.yaml @@ -139,6 +139,7 @@ sanger: # broken with dnssec # nameservers: [193.62.203.96, 193.62.203.97] #resolvoptions: [single-request] + mirror-debian: http://mirror.bytemark.co.uk/debian/ nameservers: [193.62.202.28, 193.62.202.29] searchpaths: [debprivate-sanger.debian.org] rapidswitch: -- 2.20.1