Update CHANGELOG.md for 12.7.2

[ci skip]
2020-01-24 17:22:12 +00:00 · 2020-01-24 17:22:12 +00:00 · 3e36f70be4
parent c282dba898
commit 3e36f70be4
1 changed files with 4 additions and 0 deletions
--- 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)