Skip to content

Conversation

woodruffw
Copy link
Member

Gets #75 out the door.

Signed-off-by: William Woodruff <william@trailofbits.com>
@woodruffw woodruffw requested review from di and tetsuo-cpp August 10, 2023 17:48
@woodruffw woodruffw self-assigned this Aug 10, 2023
@woodruffw woodruffw merged commit 9310933 into main Aug 10, 2023
@woodruffw woodruffw deleted the ww/release branch August 10, 2023 19:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants