Closed daveliddell closed 4 months ago
Cherry-pick of #383 from main to tresleches branch to fix broken tresleches build.
Original PR description:
Some minor API changes.
Cherry-pick of #383 from main to tresleches branch to fix broken tresleches build.
Original PR description:
Some minor API changes.