diff options
-rw-r--r-- | version.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/version.php b/version.php index 09c23cb8229..e03495da93b 100644 --- a/version.php +++ b/version.php @@ -29,7 +29,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(15, 0, 12, 0); +$OC_Version = array(15, 0, 12, 1); // The human readable string $OC_VersionString = '15.0.12'; |