alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

* NEWS: Typo in date for 2.8.7.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2020-03-30 11:14:06 +02:00
parent eec0389de4
commit 86144ac171
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
NEWS
View file

@ -103,7 +103,7 @@ New in spot 2.8.7.dev (not yet released)
- to_parity() now combines several strategies for paritizing any
automaton.
New in spot 2.8.7 (2019-03-13)
New in spot 2.8.7 (2020-03-13)
Bugs fixed: