From 84e79035cb365fe4904887acb7b97e539b85c129 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Sun, 9 Dec 2012 12:24:14 -0800 Subject: [PATCH] Updated release notes Signed-off-by: Leonardo de Moura --- RELEASE_NOTES | 2 ++ 1 file changed, 2 insertions(+) diff --git a/RELEASE_NOTES b/RELEASE_NOTES index e2703bdcb..7ac026673 100644 --- a/RELEASE_NOTES +++ b/RELEASE_NOTES @@ -24,6 +24,8 @@ Version 4.3.2 - Added new option to mk_make to allow users to specify where python bindings (Z3Py) will be installed. (Thanks to Dejan Jovanovic for reporting the problem). +- Fixed crash reported at http://z3.codeplex.com/workitem/10 + Version 4.3.1 =============