From b8e47fdc2858d99302d8855b398b0fc78b5809b8 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Wed, 17 Oct 2018 14:16:55 +0200 Subject: [PATCH] * NEWS: Typo in release date. --- NEWS | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/NEWS b/NEWS index be2afeed8..ef16ea945 100644 --- a/NEWS +++ b/NEWS @@ -65,7 +65,7 @@ New in spot 2.6.3.dev (not yet released) used to check whether a formula or an automaton represents a liveness property. -New in spot 2.6.3 (2019-10-17) +New in spot 2.6.3 (2018-10-17) Bugs fixed: