update release notes

Signed-off-by: Nikolaj Bjorner <[email protected]>
Z3Prover · Jul 6, 2022 · 6ed071b · 6ed071b
1 parent 0d41695
commit 6ed071b
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/RELEASE_NOTES.md b/RELEASE_NOTES.md
@@ -10,6 +10,10 @@ Version 4.9.next
     - native word level bit-vector solving.
   - introduction of simple induction lemmas to handle a limited repertoire of induction proofs.
 
+Version 4.9.1
+=============
+- Bugfix release to ensure npm package works
+
 Version 4.9.0
 =============
 - Native M1 (Mac ARM64) binaries and pypi distribution.