From 989d48bb93d04f62e48edd88180a52a3dc13c61b Mon Sep 17 00:00:00 2001
From: Giovanni Bussi <giovanni.bussi@gmail.com>
Date: Wed, 8 Jul 2020 08:38:53 +0200
Subject: [PATCH] changelog
---
CHANGES/v2.5.md | 3 +++
1 file changed, 3 insertions(+)
diff --git a/CHANGES/v2.5.md b/CHANGES/v2.5.md
index f2b8b4eab..c64e6bb3b 100644
--- a/CHANGES/v2.5.md
+++ b/CHANGES/v2.5.md
@@ -212,6 +212,9 @@ For users:
## Version 2.5.5 (Jul 8, 2020)
+For users:
+- Includes all fixes up to 2.4.8
+
For developers:
- Small fix to avoid unique global symbols (see \issue{549})
--
GitLab