Skip to content

Conversation

woodruffw
Copy link
Member

@woodruffw woodruffw commented Mar 23, 2023

Gets #55 out the door.

Signed-off-by: William Woodruff <william@trailofbits.com>
@woodruffw woodruffw requested review from di, tnytown and tetsuo-cpp March 23, 2023 20:10
@woodruffw woodruffw self-assigned this Mar 23, 2023
@tetsuo-cpp tetsuo-cpp merged commit fd04d37 into main Mar 24, 2023
@tetsuo-cpp tetsuo-cpp deleted the ww/release branch March 24, 2023 06:49
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.

3 participants