-
Alexandre Duret-Lutz authored
Issue discovered by Mikuláš Klokočka and reported by František Blahoudek. * spot/twaalgos/translate.cc: Reset the stutter-invariant flag when adding extra transitions for leading Xs. * tests/core/stutter-tgba.test: New test case. * NEWS: Mention the bug.
77f3ba94