summaryrefslogtreecommitdiffstats
path: root/check.php
diff options
context:
space:
mode:
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/',