diff options
| author | GitLab Release Tools Bot <delivery-team+release-tools@gitlab.com> | 2019-10-01 20:04:57 +0300 |
|---|---|---|
| committer | GitLab Release Tools Bot <delivery-team+release-tools@gitlab.com> | 2019-10-01 20:04:57 +0300 |
| commit | c6128d82ca4bdb53fe8712930d1d9c0b9c0c2781 (patch) | |
| tree | 4b14c2949dc26f217a5ea2e7dca5015f3b0f8ddc | |
| parent | 6317d49c00310552f9838b55d886fdc212f7ceb1 (diff) | |
Update VERSION to 12.1.13v12.1.13
| -rw-r--r-- | VERSION | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1 +1 @@ -12.1.12 +12.1.13 |