Update CHANGES.md

formalsec · Jul 8, 2024 · f5bb405 · f5bb405
1 parent 4266335
commit f5bb405
Showing 1 changed file with 11 additions and 3 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -1,4 +1,14 @@
-## 1.1.3 (2024-06-08)
+## Unreleased
+
+### Added
+
+Stub-side reference counting to deal with GC collection order
+
+### Changed
+
+### Fixed
+
+## 1.1.3
 
 Initial release.
 
@@ -20,6 +30,4 @@ Stubs with support for the following cvc5 API classes:
 
 ### Changed
 
-### Deprecated
-
 ### Fixed