From 70e3e2cd0458e781fe3b6578b6e9405a82404488 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Mon, 7 May 2012 14:45:28 +0200
Subject: [PATCH] * NEWS: Typo in date.

---
 NEWS | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/NEWS b/NEWS
index 36e7f55bf..455b8f466 100644
--- a/NEWS
+++ b/NEWS
@@ -179,7 +179,7 @@ New in spot 0.8 (2011-11-28):
          #define x flag==0
       because !x then evaluated to (!flag)==0 instead of !(flag==0).
 
-New in spot 0.7.1 (2001-02-07):
+New in spot 0.7.1 (2011-02-07):
 
   * The LTL parser will accept operator ~ (for not) as well
     as --> and <--> (for implication and equivalence), allowing