·
757 commits
to main
since this release
ee02a9e
This commit was signed with the committer’s verified signature.
thomas-mangin
Thomas Mangin
This release fixes an issue with doctopt introduced in 4.2.23.
The short option of the command line -1, -s and -x were not understood anymore.