diff options
| author | Morris Jobke <hey@morrisjobke.de> | 2018-03-13 21:46:51 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-03-13 21:46:51 +0300 |
| commit | c2cea293d54bbbdf908346cdf3acc2a545142ba1 (patch) | |
| tree | cd7ab257043947c31977127e7a9fec23b299fd44 | |
| parent | f66af48d49f625a3500a1f3bb831e36476df18b6 (diff) | |
| parent | ef2de71988f5b3c13a11ce0cb21c547977c44806 (diff) | |
Merge pull request #8807 from nextcloud/final-13.0.1v13.0.1
[stable13] 13.0.1
| -rw-r--r-- | version.php | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/version.php b/version.php index 352e7835398..52f821ba907 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, 1, 0); +$OC_Version = array(13, 0, 1, 1); // The human readable string -$OC_VersionString = '13.0.1 RC 1'; +$OC_VersionString = '13.0.1'; $OC_VersionCanBeUpgradedFrom = [ 'nextcloud' => [ |