From 4b5734d8ec417922515dc69ae65c577242fc30b7 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Fri, 20 Jan 2012 14:17:53 +0100 Subject: [PATCH] * NEWS: Add missing dates. --- ChangeLog | 4 ++++ NEWS | 4 ++-- 2 files changed, 6 insertions(+), 2 deletions(-) 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