Bump version

Signed-off-by: Joas Schilling <coding@schilljs.com>

version.php

@@ -30,7 +30,7 @@
 // between betas, final and RCs. This is _not_ the public version number. Reset minor/patchlevel
 // when updating major/minor version number.
 
-$OC_Version = [25, 0, 0, 0];
+$OC_Version = [25, 0, 0, 1];
 
 // The human readable string
 $OC_VersionString = '25.0.0 dev';