-
Alexandre Duret-Lutz authored
Reported by František Blahoudek. * src/bin/genltl.cc (R_n): Really generate (GFp1 || FGp2), not (GFp1 || GFp2). * NEWS: Mention the bug. * THANKS: Update.
e2378b49
To find the state of this project's repository at the time of any of these versions, check out the tags.