Alexandre Duret-Lutz authored
(No test, this is just a simple backport of a fix from the development branch, where it is tested.) * src/tgbaalgos/hoaf.cc: Do not call to_string() to display names, as this would add another level of escaping. * NEWS: Mention it.ef5b0417
To find the state of this project's repository at the time of any of these versions, check out the tags.