diff options
author | Morris Jobke <hey@morrisjobke.de> | 2018-11-22 15:52:35 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-11-22 15:52:35 +0300 |
commit | 0b8b083f72a59210ca7bf7c8c2f3b3f93c1ca880 (patch) | |
tree | d0f5b8e1089c308dc9f6b02890093094ab52f179 | |
parent | 820ea9f2d0870f1d447314f2738d17a010919414 (diff) | |
parent | 76c0e77cd43eb87d9082a448d14eede22007a5e6 (diff) |
12.0.13
-rw-r--r-- | version.php | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/version.php b/version.php index ece797a7a4f..2cc9c212d80 100644 --- a/version.php +++ b/version.php @@ -26,10 +26,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(12, 0, 13, 1); +$OC_Version = array(12, 0, 13, 2); // The human readable string -$OC_VersionString = '12.0.13 RC 2'; +$OC_VersionString = '12.0.13'; $OC_VersionCanBeUpgradedFrom = [ 'nextcloud' => [ |