Make it 10.0.1

diff --git a/version.php b/version.php
index 0183ec3cdbb1b9fd60ba4f3c391322170ab0a425..790782396cd621385b64e2dbd63c248af5334a3f 100644 (file)
--- a/version.php
+++ b/version.php
@@ -25,10 +25,10 @@
 // We only can count up. The 4. digit is only for the internal patchlevel to trigger DB upgrades
 // between betas, final and RCs. This is _not_ the public version number. Reset minor/patchlevel
 // when updating major/minor version number.
-$OC_Version = array(9, 1, 1, 4);
+$OC_Version = array(9, 1, 1, 5);
 
 // The human readable string
-$OC_VersionString = '10.0.1 RC4';
+$OC_VersionString = '10.0.1';
 
 $OC_VersionCanBeUpgradedFrom = array(9, 0);