From 438d9e6d0296fd92f3d1713531ede273a6b1207f Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Wed, 26 Sep 2018 17:58:01 +0200
Subject: [PATCH] * NEWS: Describe more fixed bugs.

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

diff --git a/NEWS b/NEWS
index 4cbf93f15..58df5ba4d 100644
--- a/NEWS
+++ b/NEWS
@@ -20,6 +20,10 @@ New in spot 2.6.1.dev (not yet released)
     would incorrectly copy the "universal" property of the input
     automaton, causing print_hoa() to fail.
 
+  - configure --disable-doxygen would actually enable it.
+
+  - Fix several warnings emited by the development version of GCC.
+
 New in spot 2.6.1  (2018-08-04)
 
   Command-line tools: