From 370cfb2b560d3a1e0b153e57310cbb1b0355a37c Mon Sep 17 00:00:00 2001
From: Arthur Schiwon <blizzz@arthur-schiwon.de>
Date: Thu, 15 Jun 2023 11:47:29 +0200
Subject: [PATCH] ci: undo version.php change to avoid conflict in release PR

Signed-off-by: Arthur Schiwon <blizzz@arthur-schiwon.de>
---
 version.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/version.php b/version.php
index e662e0fbd0e..40d6d804d30 100644
--- a/version.php
+++ b/version.php
@@ -30,7 +30,7 @@
 // between betas, final and RCs. This is _not_ the public version number. Reset minor/patchlevel
 // when updating major/minor version number.
 
-$OC_Version = [25, 0, 7, 2];
+$OC_Version = [25, 0, 7, 1];
 
 // The human readable string
 $OC_VersionString = '25.0.7';