diff options
| author | GitLab Release Tools Bot <delivery-team+release-tools@gitlab.com> | 2020-07-06 21:54:07 +0000 |
|---|---|---|
| committer | GitLab Release Tools Bot <delivery-team+release-tools@gitlab.com> | 2020-07-06 21:54:07 +0000 |
| commit | 755aa9544e3f5595cdc4f7a9d746758670d2393b (patch) | |
| tree | 77630886b06a8bd4240299ac7dedfb5c4c2362b3 | |
| parent | 132d2fd5cf7329a65237f93e97d16eb192a8d688 (diff) | |
| parent | 8411f47246fd62aaa5ba7e74c633b5b6295d7a9d (diff) | |
| download | gitlab-ce-755aa9544e3f5595cdc4f7a9d746758670d2393b.tar.gz | |
Merge remote-tracking branch 'dev/13-1-stable' into 13-1-stable
| -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 aa8b386d8b7..fb0ee1674c4 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 38373818054..5a21446fc68 100644 --- a/GITALY_SERVER_VERSION +++ b/GITALY_SERVER_VERSION @@ -1 +1 @@ -13.1.2 +13.1.3 @@ -1 +1 @@ -13.1.2 +13.1.3 |