-
Alexandre Duret-Lutz authored
Fixes #285, reported by Florian Perlié-Long. * NEWS: Mention the issue. * spot/tl/formula.cc: Fix it. * tests/core/kind.test: Document it. * THANKS: Add Florian.
002e6ed9
To find the state of this project's repository at the time of any of these versions, check out the tags.