Closed shtrom closed 5 months ago
This PR:
It may help to review this PR commit by commit, as they build on top of each other.
[x] Feature
[ ] Bug
[x] Refactor
[x] ChangeLog.md updated
[x] Tests added
[x] All testsuite passes
[x] make dist completed successfully
make dist
This PR:
It may help to review this PR commit by commit, as they build on top of each other.
Checklist
[x] Feature
[ ] Bug
[x] Refactor
[x] ChangeLog.md updated
[x] Tests added
[x] All testsuite passes
[x]
make dist
completed successfully