diff options
author | Morris Jobke <hey@morrisjobke.de> | 2018-10-11 10:36:24 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-10-11 10:36:24 +0300 |
commit | 078c1088b6acc34780e3c21135e8208163bb8689 (patch) | |
tree | 68817a1553b44ea8ce2e64835ddf259bba0e1d1f | |
parent | 9ee44a08799d1adad262e0ffb20b641927e17133 (diff) | |
parent | 85005450d764ccd70d27cb37ae74599a6b67a752 (diff) |
Merge pull request #11752 from nextcloud/release/13.0.7v13.0.7
13.0.7
-rw-r--r-- | version.php | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/version.php b/version.php index c3b279505d4..f0869bd3e96 100644 --- a/version.php +++ b/version.php @@ -29,10 +29,10 @@ // between betas, final and RCs. This is _not_ the public version number. Reset minor/patchlevel // when updating major/minor version number. -$OC_Version = array(13, 0, 7, 1); +$OC_Version = array(13, 0, 7, 2); // The human readable string -$OC_VersionString = '13.0.7 RC 2'; +$OC_VersionString = '13.0.7'; $OC_VersionCanBeUpgradedFrom = [ 'nextcloud' => [ |