diff options
author | GitLab Release Tools Bot <robert+release-tools@gitlab.com> | 2018-12-13 18:10:33 +0300 |
---|---|---|
committer | GitLab Release Tools Bot <robert+release-tools@gitlab.com> | 2018-12-13 18:10:33 +0300 |
commit | 366aa2bea98b6d06866494f8907eddcc03d10acf (patch) | |
tree | 1db75f2fbdfd988814c82ffe01fffc0d4cb577cb /VERSION | |
parent | 6a83ee5b7417a11b681fca80c534c2296ca3e518 (diff) |
Update VERSION to 11.3.13v11.3.13
Diffstat (limited to 'VERSION')
-rw-r--r-- | VERSION | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1 +1 @@ -11.3.12 +11.3.13 |