diff options
| author | Morris Jobke <hey@morrisjobke.de> | 2019-02-27 23:26:17 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-02-27 23:26:17 +0300 |
| commit | f47c8bd0bd9e4086b935d2b8a2d2c78f0341fef0 (patch) | |
| tree | b3aee477d750e8b298c1c653bb72003a67b00b0c | |
| parent | 4b997b1b2dd57e02519b979802ed97cbe57d2769 (diff) | |
| parent | 0818ce53e92b73cd2503e0d1a6f4338cc4f46eca (diff) | |
Merge pull request #14422 from nextcloud/version/noid/13.0.12v13.0.12
13.0.12
| -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' => [ |