From aecdab7ba7f15c7876173e2a17c5a9b37b6e839b Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Sun, 8 Nov 2020 14:20:17 +0100 Subject: [PATCH] * NEWS: Update for recent fixes. --- NEWS | 11 ++++++++++- 1 file changed, 10 insertions(+), 1 deletion(-) diff --git a/NEWS b/NEWS index 7c34cf502..e140670cd 100644 --- a/NEWS +++ b/NEWS @@ -2,9 +2,18 @@ New in spot 2.9.4.dev (not yet released) Bugs fixed: + - Fix multiple spurious test suite failures on Darwin + (Issues #426, #427, #428, #429) or when the + Pandas package was not installed. + - The filename python/spot/aux.py caused a problem on Windows and has been renamed. Existing "import spot.aux" statements should - *not* be updated. (Issue #437.) + *not* be updated. (Issue #437) + + - Fix memory leak in minimize_wdba() when determinization is aborted + because an output_aborter is passed. + + - Distribution contains unnecessary large SVG files (Issue #422) New in spot 2.9.4 (2020-09-07)