diff options
author | GitLab Release Tools Bot <delivery-team+release-tools@gitlab.com> | 2019-07-30 22:44:35 +0300 |
---|---|---|
committer | GitLab Release Tools Bot <delivery-team+release-tools@gitlab.com> | 2019-07-30 22:44:35 +0300 |
commit | 6ccbccc2010dc1197d7b721c76cdb176050e43d8 (patch) | |
tree | 2369c02c5213cbe7897dfa77aba57b86c127837a /VERSION | |
parent | 87f0b22888708568f91942280062560c69e80e8f (diff) |
Update VERSION to 12.1.3v12.1.3fix_docs_lint-12-1
Diffstat (limited to 'VERSION')
-rw-r--r-- | VERSION | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1 +1 @@ -12.1.2 +12.1.3 |