From 2952daf0ba6ab5d9bba277ca41f781e38d9e7de8 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Fri, 13 Jan 2012 15:23:37 +0100 Subject: [PATCH] * NEWS: Update with recent fixes. --- ChangeLog | 4 ++++ NEWS | 2 ++ 2 files changed, 6 insertions(+) diff --git a/ChangeLog b/ChangeLog index cd10589b8..e4ae8b2c7 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,7 @@ +2012-01-13 Alexandre Duret-Lutz + + * NEWS: Update with recent fixes. + 2012-01-13 Alexandre Duret-Lutz Fix a 'make check' failure when valgrind is not installed. diff --git a/NEWS b/NEWS index 058c39838..5feda4567 100644 --- a/NEWS +++ b/NEWS @@ -7,6 +7,8 @@ New in spot 0.8.1a: clear whether this could have had an inpact on WDBA minimization (the worse case is that some TGBA would not have been minimized when they could). + - Fix compilation with g++ 4.0. + - Fix a make check failure when valgrind is missing. New in spot 0.8.1: