From d475c7e95d3112621f660fe0e3425af754ecd16d Mon Sep 17 00:00:00 2001
From: Giovanni Bussi <giovanni.bussi@gmail.com>
Date: Mon, 3 Feb 2020 13:03:59 +0100
Subject: [PATCH] changelog
---
CHANGES/v2.5.md | 5 +++++
1 file changed, 5 insertions(+)
diff --git a/CHANGES/v2.5.md b/CHANGES/v2.5.md
index b69374914..3a11f171e 100644
--- a/CHANGES/v2.5.md
+++ b/CHANGES/v2.5.md
@@ -210,3 +210,8 @@ For users:
For users:
- Includes all fixes up to 2.4.7
+## Version 2.5.5
+
+For developers:
+- Small fix to avoid unique global symbols (see \issue{549})
+
--
GitLab