Closed lefessan closed 1 year ago
This PR splits out a part of #87 to make reviewing easier.
I think this PR is good this time, no change to algo, no change to testsuite
Merged ! Thanks !
This PR splits out a part of #87 to make reviewing easier.