re-enable https://mirror.dogado.de/remi/HEADmaster

1 files changed, 1 insertions, 1 deletions

diff --git a/mirror b/mirror
index a8383376..0b83d1e9 100755
--- a/mirror
+++ b/mirror
@@ -11,7 +11,7 @@ add) if [ -z "$2" ]; then
 		echo "Missing mirror path"
 		exit 1
 	fi
-	for fic in */{8,9,10,39,40,41}/*/*/mirror
+	for fic in */{8,9,10,40,41,42}/*/*/mirror
 	do
 		n=0
 		if grep -q "/archives/" $fic