diff options
author | Morris Jobke <hey@morrisjobke.de> | 2017-06-22 00:50:20 +0300 |
---|---|---|
committer | Robin Appelman <robin@icewind.nl> | 2017-07-13 14:08:23 +0300 |
commit | d422875ae4e5e6afc425367d2ff710074fd154a6 (patch) | |
tree | 9f3c3780aa0498cada18e050c167606c85707ff4 /version.php | |
parent | 92b14fa8c017276d1bfdab9ab15eb69f09916101 (diff) |
Run repair step only once
Signed-off-by: Morris Jobke <hey@morrisjobke.de>
Diffstat (limited to 'version.php')
-rw-r--r-- | version.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/version.php b/version.php index 53c14a23ab3..3a14aaee735 100644 --- a/version.php +++ b/version.php @@ -26,7 +26,7 @@ // 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, 0, 29); +$OC_Version = array(12, 0, 0, 30); // The human readable string $OC_VersionString = '12.0.0'; |