Closed ajnelson-nist closed 1 year ago
The patch in this PR should have been applied before merging PR #414. It's not quite clear at the moment how CI missed it.
This is PR 2 of 3 in resolving Issue 375.
unstable
Once CI passes in this PR, I will merge this not following two-key protocol because other PRs need it in order for their CI to pass. Before merging this, develop's head fails CI.
develop
The patch in this PR should have been applied before merging PR #414. It's not quite clear at the moment how CI missed it.
This is PR 2 of 3 in resolving Issue 375.
Coordination
unstable
branch (merge-commit)unstable
branch tracking UCO'sunstable
as submodule (merge-commit) (skipped)