Skip to content

Update dependencies#2287

Merged
Ralith merged 2 commits into
mainfrom
update-deps
Jul 2, 2025
Merged

Update dependencies#2287
Ralith merged 2 commits into
mainfrom
update-deps

Conversation

@djc

@djc djc commented Jul 2, 2025

Copy link
Copy Markdown
Member

See also:

(Dropped the fastbloom bump for now.)

@djc
djc requested review from Ralith and gretchenfrage as code owners July 2, 2025 11:05
@djc
djc force-pushed the update-deps branch 2 times, most recently from 07b7293 to 591ace2 Compare July 2, 2025 11:21
@Ralith
Ralith added this pull request to the merge queue Jul 2, 2025
Merged via the queue into main with commit 8339ef3 Jul 2, 2025
39 of 40 checks passed
@Ralith
Ralith deleted the update-deps branch July 2, 2025 19:34
@djc djc mentioned this pull request Jul 4, 2025
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