Release Spot 2.9.5
* configure.ac, NEWS, doc/org/setup.org: Update version.
This commit is contained in:
parent
aecdab7ba7
commit
a5385bb886
3 changed files with 8 additions and 8 deletions
4
NEWS
4
NEWS
|
|
@ -1,4 +1,4 @@
|
|||
New in spot 2.9.4.dev (not yet released)
|
||||
New in spot 2.9.5 (2020-11-19)
|
||||
|
||||
Bugs fixed:
|
||||
|
||||
|
|
@ -13,7 +13,7 @@ New in spot 2.9.4.dev (not yet released)
|
|||
- Fix memory leak in minimize_wdba() when determinization is aborted
|
||||
because an output_aborter is passed.
|
||||
|
||||
- Distribution contains unnecessary large SVG files (Issue #422)
|
||||
- Distribution used to contain unnecessary large SVG files (Issue #422)
|
||||
|
||||
New in spot 2.9.4 (2020-09-07)
|
||||
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue