diff options
author | GitLab Release Tools Bot <robert+release-tools@gitlab.com> | 2018-12-28 12:53:00 +0300 |
---|---|---|
committer | GitLab Release Tools Bot <robert+release-tools@gitlab.com> | 2018-12-28 12:53:00 +0300 |
commit | 837a61bef35b520ed71e9b1e24044999621a44d7 (patch) | |
tree | 2ee2b0702a3344ff366d0c048a1592d8117f73f2 | |
parent | 3649904e9b38ac2724edc6ed7bf1ad54db09c074 (diff) |
Update VERSION to 11.4.13v11.4.13
-rw-r--r-- | VERSION | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1 +1 @@ -11.4.12 +11.4.13 |