summaryrefslogtreecommitdiffstats
path: root/check.php
diff options
context:
space:
mode:
authorRemi Collet <remi@remirepo.net>2017-08-10 07:33:59 +0200
committerRemi Collet <remi@remirepo.net>2017-08-10 07:33:59 +0200
commitcdb44ea4ab0c66cf77c9e20262b8602bd06c4d56 (patch)
treeeab0a7c645600bc02e6ac8da7692bc1b8f662259 /check.php
parent5a4df00bf5761e20ac19e9b7b6779360326604e7 (diff)
F24 is EOL + budget
Diffstat (limited to 'check.php')
-rw-r--r--check.php1
1 files changed, 1 insertions, 0 deletions
diff --git a/check.php b/check.php
index f5306e17..9b2860ae 100644
--- a/check.php
+++ b/check.php
@@ -81,6 +81,7 @@ $mirrors = array(
'https://remi.mirror.wearetriple.com/',
'http://mirror.upb.edu.co/remi/',
'https://mirrors.uni-ruse.bg/remi/',
+ 'https://remi.mirror.karneval.cz/',
);
$deprecated = array(
'http://mirror.smartmedia.net.id/remi/',