From 1deade6ba05557e880b9ab11fb304d832540d89d Mon Sep 17 00:00:00 2001
From: Jan-Hendrik Willms <tleilax+github@gmail.com>
Date: Wed, 12 Oct 2022 09:26:49 +0200
Subject: [PATCH] adjust config.platform.php version to 7.2.5 so that we do not
 run into conflicts when installing another package, re #1569

---
 composer.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/composer.json b/composer.json
index accb9ca0175..f3fc0a44cdf 100644
--- a/composer.json
+++ b/composer.json
@@ -4,7 +4,7 @@
     "config": {
         "vendor-dir": "composer",
         "platform": {
-            "php": "7.2"
+            "php": "7.2.5"
         }
     },
     "require-dev": {
-- 
GitLab