From 8d887e57a646221a3ca47c1c449a3ae7388a000f Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Sun, 18 Nov 2012 00:22:44 -0800
Subject: [PATCH] Updated release notes

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
 RELEASE_NOTES | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/RELEASE_NOTES b/RELEASE_NOTES
index 3282fa2ba..2bf6fb7b0 100644
--- a/RELEASE_NOTES
+++ b/RELEASE_NOTES
@@ -5,6 +5,8 @@ Version 4.3.2
 
 - Added get_version() and get_version_string() to Z3Py
 
+- Added support for FreeBSD. Z3 can be compiled on FreeBSD using g++. 
+
 Version 4.3.1
 =============