diff options
author | GitLab Release Tools Bot <delivery-team+release-tools@gitlab.com> | 2021-07-07 23:45:27 +0300 |
---|---|---|
committer | GitLab Release Tools Bot <delivery-team+release-tools@gitlab.com> | 2021-07-07 23:45:27 +0300 |
commit | a6d8c2e0c68d326e3017b875668da8d16d8d299c (patch) | |
tree | f07882ea4e354142c60549f29eed89d160d6315f /GITALY_SERVER_VERSION | |
parent | c7dc35611e054a2f393ce448872e8c19c02b29c5 (diff) | |
parent | 29fc8ef8bbd6d4d363ce4a733af753c1990c1ba6 (diff) |
Merge remote-tracking branch 'dev/13-12-stable' into 13-12-stable
Diffstat (limited to 'GITALY_SERVER_VERSION')
-rw-r--r-- | GITALY_SERVER_VERSION | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/GITALY_SERVER_VERSION b/GITALY_SERVER_VERSION index 73332f228d5..21edccba210 100644 --- a/GITALY_SERVER_VERSION +++ b/GITALY_SERVER_VERSION @@ -1 +1 @@ -13.12.7
\ No newline at end of file +13.12.8
\ No newline at end of file |