We are happy to announce the release of Spot 2.8.5 This maintenance release contains only bug fixes. You can find the new release here: http://www.lrde.epita.fr/dload/spot/spot-2.8.5.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.8.5 (2020-01-04) Bugs fixed: - ltl2tgba -B could return automata with "t" acceptance, instead of the expected Inf(0). - twa_graph::merge_edges() (a.k.a. autfilt --merge-transitions) was unaware that merging edges can sometimes transform a non-deterministic automaton into a deterministic one, causing the following unexpected diagnostic: "print_hoa(): automaton is universal despite prop_universal()==false" The kind of non-deterministic automata where this occurs is not naturally produced by any Spot algorithm, but can be found for instance in automata produced by Goal 2015-10-18. -- Alexandre Duret-Lutz