From 14d0932edb779af994aa730262b34c5b26687f8e Mon Sep 17 00:00:00 2001 From: Remi Collet Date: Thu, 20 Jul 2023 08:43:44 +0200 Subject: remove http://remi.mirrors.arminco.com/ --- check.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'check.php') diff --git a/check.php b/check.php index 53457a45..4acab7aa 100755 --- a/check.php +++ b/check.php @@ -53,7 +53,6 @@ $archs = [ ]; $mirrors = [ - 'http://remi.mirrors.arminco.com/', 'http://remi.conetix.com.au/', 'http://mirrors.neterra.net/remi/', 'http://remi.schlundtech.de/', @@ -115,6 +114,7 @@ $mirrors = [ 'https://muug.ca/mirror/remi/', ]; $deprecated = [ + 'http://remi.mirrors.arminco.com/', 'http://mirror.reconn.ru/remi/', 'https://mirror.serverion.com/remi/', 'http://mirror.innosol.asia/remi/', -- cgit