Yuvipanda has submitted this change and it was merged. Change subject: Use wikimedia debian mirror ......................................................................
Use wikimedia debian mirror Change-Id: Ibafd3fbff3f10aa55af3a2b14236ca38d43dca66 --- M mirror 1 file changed, 1 insertion(+), 1 deletion(-) Approvals: Yuvipanda: Verified; Looks good to me, approved diff --git a/mirror b/mirror index 7f41354..1a4b744 100644 --- a/mirror +++ b/mirror @@ -1 +1 @@ -http://httpredir.debian.org/debian +http://mirrors.wikimedia.org/debian -- To view, visit https://gerrit.wikimedia.org/r/262848 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ibafd3fbff3f10aa55af3a2b14236ca38d43dca66 Gerrit-PatchSet: 1 Gerrit-Project: operations/docker-images/debian Gerrit-Branch: master Gerrit-Owner: Yuvipanda <[email protected]> Gerrit-Reviewer: Yuvipanda <[email protected]> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
