From 38388748b03b6e836d44da47f10eeec663d6ca2f Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Thu, 6 Feb 2014 00:45:18 +0100
Subject: [PATCH] * NEWS: Mention recent fixes.

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

diff --git a/NEWS b/NEWS
index 205e515f1..a1f0b45bc 100644
--- a/NEWS
+++ b/NEWS
@@ -6,6 +6,10 @@ New in spot 1.2.2a (not yet released)
     - Fix calculation of length_boolone(), were 'Xa|b|c' was
       considered as length 6 instead of 4 (because it is 'Xa|(b|a)'
       were (b|a) is Boolean).
+    - Fix Clang-3.5 warnings.
+    - randltl -S did not honor --boolean-priorities.
+    - randltl had trouble generating formulas when all unary, or
+      all binary/n-ary operators were disabled.
 
 New in spot 1.2.2 (2014-01-24)