diff options
-rw-r--r-- | CHANGELOG.md | 4 | ||||
-rw-r--r-- | GITALY_SERVER_VERSION | 2 | ||||
-rw-r--r-- | VERSION | 2 |
3 files changed, 6 insertions, 2 deletions
diff --git a/CHANGELOG.md b/CHANGELOG.md index c9b2d98f20e..395ff400fae 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -2,6 +2,10 @@ documentation](doc/development/changelog.md) for instructions on adding your own entry. +## 13.2.5 (2020-08-17) + +- No changes. + ## 13.2.4 (2020-08-11) ### Security (1 change) diff --git a/GITALY_SERVER_VERSION b/GITALY_SERVER_VERSION index 0a84f132af3..8c339431c57 100644 --- a/GITALY_SERVER_VERSION +++ b/GITALY_SERVER_VERSION @@ -1 +1 @@ -13.2.4 +13.2.5 @@ -1 +1 @@ -13.2.4 +13.2.5 |