Fixes #237. * bin/genltl.cc: Fix the numbering of options. * NEWS: Mention the bugs.
Attach a file by drag & drop or click to upload
Alexandre Duret-Lutz authored