From 86144ac171cd8e20cd4cdad2271c36d72cfcb7ba Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Mon, 30 Mar 2020 11:14:06 +0200 Subject: [PATCH] * NEWS: Typo in date for 2.8.7. --- NEWS | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/NEWS b/NEWS index 6987ec286..72ff8e454 100644 --- a/NEWS +++ b/NEWS @@ -103,7 +103,7 @@ New in spot 2.8.7.dev (not yet released) - to_parity() now combines several strategies for paritizing any automaton. -New in spot 2.8.7 (2019-03-13) +New in spot 2.8.7 (2020-03-13) Bugs fixed: