[Spot-announce] Spot 1.2.2 has been released

I'm happy to announce that Spot 1.2.2 has been released. This maintenance release addresses a couple of portability issues and other minor bugs discovered over the last month. You can download the new release here: http://spot.lip6.fr/dl/spot-1.2.2.tar.gz New in spot 1.2.2 (2014-01-24) * Bug fixes: - Fix compilation *and* behavior of bitvectors on 32-bit architectures. - Fix some compilation errors observed using the antique G++ 4.0.1. - Fix compatibility with Python 3 in the test suite. - Fix a couple of new clang warnings (like "unused private member"). - Add some missing #includes that are not included indirectly when the C++ compiler is in C++11 mode. - Fix detection of numbers that are too large in the ELTL parser. - Fix a memory leak in the ELTL parser, and avoid some unnecessary calls to strlen() at the same time. -- Alexandre Duret-Lutz