Commit aecdab7b authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files

* NEWS: Update for recent fixes.

parent bcd88df0
Pipeline #22998 passed with stages
in 172 minutes and 50 seconds
......@@ -2,9 +2,18 @@ New in spot (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/ 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)
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment