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 | |
| parent | 6a83ee5b7417a11b681fca80c534c2296ca3e518 (diff) | |
Update VERSION to 11.3.13v11.3.13
| -rw-r--r-- | VERSION | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1 +1 @@ -11.3.12 +11.3.13 |