21 Nov
2016
21 Nov
'16
12: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.