1 files changed, 1 insertions, 0 deletions
diff --git a/check.php b/check.php
index 71302258..d9efd93b 100755
--- a/check.php
+++ b/check.php
@@ -109,6 +109,7 @@ $mirrors = array(
 	'https://mirrors.ptisp.pt/remi/',
 	'https://mirrors.chroot.ro/remi/',
 	'https://mirrors.upr.edu/remi/',
+	'http://mirror.digitalnova.at/remi/'
 );
 $deprecated = array(
 	'http://nl.mirror.babylon.network/remi/',