From 949638930b78ec2a354cb82e9698e66960968809 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Sat, 9 Apr 2016 10:14:31 +0200
Subject: [PATCH] * NEWS: Mention recent python changes.

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

diff --git a/NEWS b/NEWS
index 53e2e3bd1..5493964d9 100644
--- a/NEWS
+++ b/NEWS
@@ -6,6 +6,11 @@ New in spot 1.99.9a (not yet released)
   --reject-word=WORD options that were introduced in autfilt in the
   previous version.
 
+  Python:
+
+  * The output of spot.atomic_prop_collect() is printable and
+  can now be passed directly to spot.ltsmin.model.kripke().
+
 New in spot 1.99.9 (2016-03-14)
 
   Command-line tools: