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 882fe4ac..57faf002 100644
--- a/check.php
+++ b/check.php
@@ -80,6 +80,7 @@ $mirrors = array(
'http://repo1.ash.innoscale.net/remi/',
'http://mirror.bebout.net/remi/',
'https://mirror.oxilion.nl/remi/',
+ 'https://remi.mirror.wearetriple.com/',
);
$deprecated = array(
'http://iut-info.univ-reims.fr/remirpms/',