diff options
author | James Edwards-Jones <jedwardsjones@gitlab.com> | 2017-07-20 21:08:00 +0300 |
---|---|---|
committer | James Edwards-Jones <jedwardsjones@gitlab.com> | 2017-07-20 21:08:00 +0300 |
commit | 2ee1ada26230bccab3b03249f917f48216923875 (patch) | |
tree | 762473b4af92e6dd356dfb07c4c5300d35494475 | |
parent | 27bd37fe0fec3bfe8f969a879c4ebcbe20af6a5e (diff) |
Update VERSION to 9.0.12v9.0.12
-rw-r--r-- | VERSION | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1 +1 @@ -9.0.11 +9.0.12 |