From a4934c4f71c6bff405c274f8aa7e21ba69cd6e3d Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Sat, 17 May 2014 15:13:35 +0200
Subject: [PATCH] * NEWS: Mention recent fix.

---
 NEWS | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/NEWS b/NEWS
index f41560a51..e2f767453 100644
--- a/NEWS
+++ b/NEWS
@@ -1,6 +1,8 @@
 New in spot 1.2.4a (not yet released)
 
-  Nothing yet.
+  * Bug fixes:
+
+    - Fix simplification of bounded repetition in SERE formulas.
 
 New in spot 1.2.4 (2014-05-15)