diff options
| author | Roeland Jago Douma <rullzer@users.noreply.github.com> | 2019-09-25 21:24:59 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-09-25 21:24:59 +0300 |
| commit | dc990963f35e94d568a3b4874c839e121622abdd (patch) | |
| tree | 2ddbfa15495cad0ffa095248c596795034fa6988 | |
| parent | bc0ecfe028a4d1fddba067d022bf9250213bbf60 (diff) | |
| parent | 362bc9a445a883a624a2c508469fe4e52494735c (diff) | |
Merge pull request #17251 from nextcloud/version/15.0.12/finalv15.0.12
Nextcloud 15.0.12
| -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'; |