diff options
author | John T Skarbek <jskarbek@gitlab.com> | 2019-12-13 20:43:45 +0300 |
---|---|---|
committer | John T Skarbek <jskarbek@gitlab.com> | 2019-12-13 20:43:45 +0300 |
commit | c05a4979a7f9fd52be280291a82edf1fea453b3e (patch) | |
tree | 945f01725a4d8b1d980ce6df64663876a1473488 | |
parent | ef56e6628498355447e6afd200c5bfab7e8545d1 (diff) |
Update CHANGELOG.md for 12.0.12
[ci skip]
-rw-r--r-- | CHANGELOG.md | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/CHANGELOG.md b/CHANGELOG.md index 09b8f3c83b2..9226ec0d5fa 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -2,6 +2,10 @@ documentation](doc/development/changelog.md) for instructions on adding your own entry. +## 12.0.12 + +- No changes. + ## 12.0.11 - Unreleased due to build failures |