From f567d88ff86a00ef990dbd93a1b9fc7f8bd3c070 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Tue, 11 Feb 2014 10:45:15 +0100 Subject: [PATCH] * NEWS: mention recent fixes. --- NEWS | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/NEWS b/NEWS index e4abef788..4a14f83b4 100644 --- a/NEWS +++ b/NEWS @@ -30,7 +30,10 @@ New in spot 1.2.2a (not yet released) - A the SAT-based minimization is asked for a 10-state automaton and return a 6-state automaton, do not ask for a 9-state automaton in the next iteration... - + - Fix some compilation issue with the version of Apple's Clang + that is installed with MacOS X 10.9. + - Fix VPATH builds when building from the git repository. + - Fix UP links in the html documentation for command-line tools. New in spot 1.2.2 (2014-01-24)