We are happy to announce the release of Spot 2.10.2 This is a maintenance release fixing a few bugs discovered over the last two weeks. You can find the new release here: http://www.lrde.epita.fr/dload/spot/spot-2.10.2.tar.gz See https://spot.lrde.epita.fr/ for documentation and installation instructions. Please direct any feedback to <spot(a)lrde.epita.fr>fr>. New in spot 2.10.2 (2021-12-03) Bugs fixed: - twa_graph::purge_dead_states() now also removes edges labeled by bddfalse. - only use sched_getcpu() and pthread_setaffinity_np() when they are available. - Using ##300 in a SERE will report that the repeatition exceeds the allowed value using a parse error, not as an exception. - spot::formula::is_literal() should be const.