From 7562ef612b34471be560d9f613fe69a12d0c067b Mon Sep 17 00:00:00 2001
From: P. J. McDermott <pj@pehjota.net>
Date: Sun, 25 May 2014 20:53:59 -0400
Subject: bootstrap-prepare.sh: Update mirror.gnu.dk domain.

---
diff --git a/bootstrap-prepare.sh b/bootstrap-prepare.sh
index 6b65546..64162c6 100755
--- a/bootstrap-prepare.sh
+++ b/bootstrap-prepare.sh
@@ -152,8 +152,7 @@ prepare_packages()
 		rand=$(($rand % 2))
 		case ${rand} in
 			0)
-				mirror='http://proteanos.mirror.gnu.dk'
-				mirror="${mirror}/pub/proteanos"
+				mirror='http://mirror.gnu.dk/pub/proteanos'
 				;;
 			1)
 				mirror='http://mirror.oss.maxcdn.com/proteanos'
--
cgit v0.9.1