diff --git a/ChangeLog b/ChangeLog index 0e7071f31..486cb29e2 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,7 @@ +2012-01-20 Alexandre Duret-Lutz + + * NEWS: Add missing dates. + 2012-01-19 Alexandre Duret-Lutz * configure.ac, NEWS: Bump version to 0.8.2a. diff --git a/NEWS b/NEWS index 1ecdcc2c5..c31b4f05b 100644 --- a/NEWS +++ b/NEWS @@ -2,7 +2,7 @@ New in spot 0.8.2a: Nothing yet. -New in spot 0.8.2: +New in spot 0.8.2 (2012-01-19): * configure now has a --disable-python option to disable the compilation of Python bindings. @@ -22,7 +22,7 @@ New in spot 0.8.2: - Fix compilation with g++ 4.0. - Fix a make check failure when valgrind is missing. -New in spot 0.8.1: +New in spot 0.8.1 (2011-12-18): * Only bug fixes: - When ltl2tgba is set to perform both WDBA minimization and