Skip to content

Conversation

woodruffw
Copy link
Member

To get #136 out the door.

Signed-off-by: William Woodruff <william@trailofbits.com>
@woodruffw woodruffw requested a review from di June 21, 2022 20:51
@woodruffw woodruffw self-assigned this Jun 21, 2022
@di di merged commit ea5cda9 into main Jun 21, 2022
@di di deleted the ww/release branch June 21, 2022 20:57
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