From 20bb171904275015ee7cfef44a2dc559d6e98fa3 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Fri, 2 Oct 2015 22:56:49 +0200
Subject: [PATCH] * NEWS: Summarize recent changes.

---
 NEWS | 13 ++++++++++++-
 1 file changed, 12 insertions(+), 1 deletion(-)

diff --git a/NEWS b/NEWS
index 00b73a5f7..909739907 100644
--- a/NEWS
+++ b/NEWS
@@ -1,6 +1,17 @@
 New in spot 1.99.4a (not yet released)
 
-  Nothing yet.
+  Python:
+
+  * Add bindings for complete().
+
+  Bugs fixed:
+
+  * Work around some strange weird exception raised when using the
+    randltlgenerator under Python 3.5.
+  * Recognize "nullptr" formulas as None in Python.
+  * Fix compilation of bench/stutter/
+  * Handle saturation of formula reference counts.
+  * Fix typo in the Python code for the CGI server.
 
 New in spot 1.99.4 (2015-10-01)