diff options
author | Morris Jobke <hey@morrisjobke.de> | 2019-02-27 19:29:38 +0300 |
---|---|---|
committer | Morris Jobke <hey@morrisjobke.de> | 2019-02-27 19:29:38 +0300 |
commit | 0818ce53e92b73cd2503e0d1a6f4338cc4f46eca (patch) | |
tree | b3aee477d750e8b298c1c653bb72003a67b00b0c | |
parent | 4b997b1b2dd57e02519b979802ed97cbe57d2769 (diff) |
13.0.12
Signed-off-by: Morris Jobke <hey@morrisjobke.de>
-rw-r--r-- | version.php | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/version.php b/version.php index 0aa371d880c..b19152585ee 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, 12, 0); +$OC_Version = array(13, 0, 12, 1); // The human readable string -$OC_VersionString = '13.0.12 RC 1'; +$OC_VersionString = '13.0.12'; $OC_VersionCanBeUpgradedFrom = [ 'nextcloud' => [ |