-
Alexandre Duret-Lutz authored
These were not actually printing in "SERE" mode due to a copy/paste error. PVS-Studio seems really good at finding those. For #192. * spot/tl/print.cc: Fix it. * NEWS: Mention the bug.
a5fb5784
To find the state of this project's repository at the time of any of these versions, check out the tags.