diff --git a/CHANGELOG.md b/CHANGELOG.md index aa8b386d8b76ddec3c532d9965215ef8fb854a66..fb0ee1674c4ba4770ff695ce526f661cbb837f0d 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -2,6 +2,10 @@ documentation](doc/development/changelog.md) for instructions on adding your own entry. +## 13.1.3 (2020-07-06) + +- No changes. + ## 13.1.2 (2020-07-01) ### Security (18 changes) diff --git a/GITALY_SERVER_VERSION b/GITALY_SERVER_VERSION index 38373818054ea3a7726239c3054946641e531957..5a21446fc68b9ec2b68af625f2e602841b1c12d1 100644 --- a/GITALY_SERVER_VERSION +++ b/GITALY_SERVER_VERSION @@ -1 +1 @@ -13.1.2 +13.1.3 diff --git a/VERSION b/VERSION index 38373818054ea3a7726239c3054946641e531957..5a21446fc68b9ec2b68af625f2e602841b1c12d1 100644 --- a/VERSION +++ b/VERSION @@ -1 +1 @@ -13.1.2 +13.1.3