21 Nov
2016
21 Nov
'16
1:28 p.m.
We are ashamed to announce the release of Spot 2.2.1.
This release contains only one bug fix, for a segfault that was introduced in Spot 2.2. Many thanks to Tomáš Babiak for the report.
You can find the new release here:
http://www.lrde.epita.fr/dload/spot/spot-2.2.1.tar.gz
See https://spot.lrde.epita.fr/ for documentation and installation instructions.
As always, please direct any feedback to spot@lrde.epita.fr.
New in spot 2.2.1 (2016-11-21)
Bug fix:
* The bdd_noderesize() function, as modified in 2.2, would always crash.