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 | |
| parent | 87f0b22888708568f91942280062560c69e80e8f (diff) | |
Update VERSION to 12.1.3v12.1.3fix_docs_lint-12-1
| -rw-r--r-- | VERSION | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1 +1 @@ -12.1.2 +12.1.3 |