From ecc8b8c79cac1a380d4a187834b1345b7e8f5953 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Sun, 9 Jun 2013 16:01:34 +0200 Subject: [PATCH] * NEWS: Summarize recent changes. --- NEWS | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/NEWS b/NEWS index 781b0649f..fc244ae5c 100644 --- a/NEWS +++ b/NEWS @@ -1,6 +1,10 @@ New in spot 1.1.1a (not released) - Nothing yet. + * Bug fixes: + - Uninitialized variables in ltlcross (affect the count of terminal + weak, and strong SCCs). + - Workaround an old GCC bug to allow compilation with g++ <= 4.5 + - Fix several Doxygen comments so that they display correctly. New in spot 1.1.1 (2013-05-13):