Closed ajnelson-nist closed 3 years ago
Note that this PR is built on the branch backing PR 53. Hence, PR 53 should be merged before this branch is merged.
CI is not set to run on this branch, but I can confirm I've downloaded the branch and run make clean && make check successfully.
make clean && make check
This PR was prematurely merged. Comms error between Paul and I, I apologize. Opening new PR to re-do.
Note that this PR is built on the branch backing PR 53. Hence, PR 53 should be merged before this branch is merged.
CI is not set to run on this branch, but I can confirm I've downloaded the branch and run
make clean && make check
successfully.