From fc22fe56e49538306e643f9baa679607d1d49346 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Mon, 2 Jul 2012 12:52:02 +0200
Subject: [PATCH] * NEWS: Mention recent changes.

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

diff --git a/NEWS b/NEWS
index 541c12c95..ebc4b4bd3 100644
--- a/NEWS
+++ b/NEWS
@@ -23,6 +23,8 @@ New in spot 0.9.1a:
     - The Makefile.am of BuDDy, LBTT, and Spot have been adjusted to
       accomodate Automake 1.12 (while still working with 1.11).
     - Better error recovery when parsing broken LTL formulae.
+    - Fix errors and warnings reported by clang 3.1 and the
+      upcoming g++ 4.8.
 
 New in spot 0.9.1 (2012-05-23):