• Alexandre Duret-Lutz's avatar
    Fix genltl --gh-r · e2378b49
    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.