ci: undo version.php change to avoid conflict in release PR

Signed-off-by: Arthur Schiwon <blizzz@arthur-schiwon.de>
This commit is contained in:
Arthur Schiwon 2023-06-15 11:47:29 +02:00 committed by GitHub
parent b9f47232ca
commit 370cfb2b56
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -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';