diff --git a/docs/RELEASE_NOTES.md b/docs/RELEASE_NOTES.md
index a018bac38..3ea8252a2 100644
--- a/docs/RELEASE_NOTES.md
+++ b/docs/RELEASE_NOTES.md
@@ -1,13 +1,15 @@
 # Release Notes
 
-## Version 0.9.8.8.7 (2024-09-15)
+## Version 0.9.8.9 (2024-10-19)
 
+- Default cache now only stores SHA-256 hash of formulas ( -binary-cache=true for old version)
 - Scala version is now 3.5.0
 - Inox now has a solver for ground assertions based on internal evaluator (Inox #218), called `eval`
 - Opaque Forall and ensures: help higher order contracts (#1567)
 - Option `--compact` also reduces progress messages (#1573)
 - Changed CI to use GitHub actions
 - Documented a limited use of `throw`
+- CI scripts as part of move to GitHub actions
 
 ## Version 0.9.8.8 (2024-08-22)