From 83f7b294cce2b832a8823dc6f91ca29bb0f09f83 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Mon, 17 Dec 2012 21:05:04 -0800
Subject: [PATCH] Update RELEASE_NOTES with latest bug fix

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 75f7e42be..5f2478dff 100644
--- a/RELEASE_NOTES
+++ b/RELEASE_NOTES
@@ -47,6 +47,8 @@ Version 4.3.2
 
 - Fixed bug reported at http://stackoverflow.com/questions/13923316/unprintable-solver-model
 
+- Fixed timers on Linux and FreeBSD.
+
 Version 4.3.1
 =============