diff options
author | GitLab Release Tools Bot <delivery-team+release-tools@gitlab.com> | 2020-01-24 20:22:11 +0300 |
---|---|---|
committer | GitLab Release Tools Bot <delivery-team+release-tools@gitlab.com> | 2020-01-24 20:22:11 +0300 |
commit | 8427c7ad85180b90e3fdc011edb755f569abba98 (patch) | |
tree | 4dd4ec4f241244e132c86cc0f89478f5afbfebb2 | |
parent | 8022c833207eba848817d54c98ee29d21b69fe8d (diff) |
Update CHANGELOG.md for 12.7.2
[ci skip]
-rw-r--r-- | CHANGELOG.md | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/CHANGELOG.md b/CHANGELOG.md index a147bd438b4..9a1552ffb2d 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -2,6 +2,10 @@ documentation](doc/development/changelog.md) for instructions on adding your own entry. +## 12.7.2 + +- No changes. + ## 12.7.1 ### Fixed (6 changes) |