diff --git a/CHANGES.md b/CHANGES.md
index bc4500e63..411da1461 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -1,3 +1,12 @@
+## v2.5.4
+
+### Bug fixes
+
+* Fix a long-standing soundness issue in the FPA module (#1122, originally
+  reported in #1111)
+* Dolmen frontend incorrectly allowed semantic triggers outside of theory
+  extensions (#1122)
+
 ## v2.5.3
 
 ### Build