From 1a920555d38021917c76886c698b5bc611879652 Mon Sep 17 00:00:00 2001
From: P. J. McDermott <pj@pehjota.net>
Date: Thu, 10 Apr 2014 18:13:17 -0400
Subject: miniprokit.sh: Update mirror.gnu.dk domain.

---
diff --git a/miniprokit.sh b/miniprokit.sh
index c76548b..292db36 100755
--- a/miniprokit.sh
+++ b/miniprokit.sh
@@ -146,8 +146,7 @@ cmd_install()
 		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