Merge remote-tracking branch 'dev/13-1-stable' into 13-1-stable

755aa954 · GitLab Release Tools Bot · 132d2fd5 · 8411f472 · 755aa954 · 755aa954
Commit 755aa954 authored Jul 06, 2020 by GitLab Release Tools Bot
Hide whitespace changes
Inline Side-by-side

Showing with 6 additions and 2 deletions

CHANGELOG.md CHANGELOG.md +4 -0

GITALY_SERVER_VERSION GITALY_SERVER_VERSION +1 -1

VERSION VERSION +1 -1

No files found.
--- 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)

--- a/GITALY_SERVER_VERSION
+++ b/GITALY_SERVER_VERSION
-13.1.2
+13.1.3
--- a/VERSION
+++ b/VERSION
-13.1.2
+13.1.3