Add release 0.9.9.0 heading (#1615)

epfl-lara · Dec 9, 2024 · f1fcea3 · f1fcea3
1 parent 2b3d9c0
commit f1fcea3
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/docs/RELEASE_NOTES.md b/docs/RELEASE_NOTES.md
@@ -1,5 +1,7 @@
 # Release Notes
 
+## Version 0.9.9.0 (2024-12-09)
+
 - Scala version is now 3.5.2 
 - Update to Inox that supports Horn clause solving, https://github.com/epfl-lara/inox/pull/214
 - Fix an extraction bug with type synonym definitions (#1595)