Update CHANGELOG.md for 13.1.3

[ci skip]
2020-07-06 18:11:16 +00:00 · 2020-07-06 18:11:16 +00:00 · d5d894b771
parent 691ed55a05
commit d5d894b771
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.

+## 13.1.3 (2020-07-06)
+
+- No changes.
+
 ## 13.1.2 (2020-07-01)

 ### Security (18 changes)