From 952cd93d54734910f9daa29314958cc37d78fb65 Mon Sep 17 00:00:00 2001
From: Remi Collet <remi@remirepo.net>
Date: Tue, 1 Jul 2025 09:04:29 +0200
Subject: masrepo for 8.5

---
 mashrepo | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/mashrepo b/mashrepo
index d537e521..61b3d80d 100755
--- a/mashrepo
+++ b/mashrepo
@@ -43,6 +43,9 @@ do
   then
     ln $rpm $copy && echo "+ $rpm"
   elif [[ "^${name}" =~ "^php84" ]]
+  then
+    ln $rpm $copy && echo "+ $rpm"
+  elif [[ "^${name}" =~ "^php85" ]]
   then
     ln $rpm $copy && echo "+ $rpm"
   else
-- 
cgit