Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

treewide: 2.5.6 #618

Merged
merged 1 commit into from
May 23, 2023
Merged

treewide: 2.5.6 #618

merged 1 commit into from
May 23, 2023

Conversation

woodruffw
Copy link
Member

Preps 2.5.6 to get #617 out the door.

@woodruffw
treewide: 2.5.6
dab1a45 
Signed-off-by: William Woodruff <william@trailofbits.com>
@woodruffw woodruffw added the chore Chores label May 23, 2023
@woodruffw woodruffw requested review from di and tetsuo-cpp May 23, 2023 00:10
@woodruffw woodruffw self-assigned this May 23, 2023
@woodruffw woodruffw merged commit 829161a into main May 23, 2023
@woodruffw woodruffw deleted the ww/release branch May 23, 2023 00:23
@woodruffw woodruffw mentioned this pull request May 23, 2023
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@di di di approved these changes

@tetsuo-cpp tetsuo-cpp Awaiting requested review from tetsuo-cpp

Assignees

@woodruffw woodruffw

Labels
chore Chores
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@woodruffw @di