diff options
| -rw-r--r-- | CHANGELOG.md | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/CHANGELOG.md b/CHANGELOG.md index 9d1b11c7b65..28cd4d99218 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -2,6 +2,10 @@ documentation](doc/development/changelog.md) for instructions on adding your own entry. +## 13.0.11 (2020-08-05) + +This version has been skipped due to packaging problems. + ## 13.0.10 (2020-07-09) ### Fixed (1 change) |