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: