update release notes

Signed-off-by: Nikolaj Bjorner <[email protected]>
Z3Prover · Oct 10, 2024 · b268b56 · b268b56
1 parent 00f1f1b
commit b268b56
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/RELEASE_NOTES.md b/RELEASE_NOTES.md
@@ -10,6 +10,12 @@ Version 4.next
     - native word level bit-vector solving.
   - introduction of simple induction lemmas to handle a limited repertoire of induction proofs.
 
+Version 4.13.3
+==============
+- Fixes, including #7363
+- Fix paths to Java binaries in release
+- Remove internal build names from pypi wheels
+
 Version 4.13.2
 ==============
 - Performance regression fix. #7404