Closed ajnelson-nist closed 2 years ago
This PR does not require committee processing for merging. It should pass CI and receive an approving review, though.
Curses. We both missed this went to master. I'm going to force-push a reversion, that was an error.
master
Reverted via force-push. Apologies for any confusion.
This PR does not require committee processing for merging. It should pass CI and receive an approving review, though.