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.

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

chore: update deps after v0.19.0 release #9744

Merged
merged 5 commits into from
Apr 5, 2023
Merged

Conversation

galargh
Copy link
Contributor

@galargh galargh commented Mar 21, 2023

This PR was created to conclude the v0.19.0 release - #9502. We should aim to land it ahead of the 1.20 release - #9694.

@Jorropo adding you as reviewer for visibility because I wouldn't want to make the boxo consolidation/rename efforts harder for you with this.

@galargh galargh requested a review from Jorropo March 21, 2023 10:08
@galargh galargh mentioned this pull request Mar 21, 2023
@guseggert
Copy link
Contributor

I wouldn't want to make the boxo consolidation/rename efforts harder for you with this.

Thankfully this doesn't have any meaningful impact on that, so LGTM.

@guseggert
Copy link
Contributor

I've also covered 3cf234d in #9736, but it's fine to leave here too

Copy link
Member

@hacdias hacdias left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM, updated with master. Will merge if ✅

@hacdias hacdias enabled auto-merge (squash) April 5, 2023 11:52
@hacdias hacdias merged commit 0ec22f4 into master Apr 5, 2023
@hacdias hacdias deleted the dep-update-v0.19.0 branch April 5, 2023 12:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
No open projects
Archived in project
Development

Successfully merging this pull request may close these issues.

3 participants