Skip to content

Conversation

rami3l
Copy link
Member

@rami3l rami3l commented Sep 16, 2025

Supersedes #4485, addresses #4485 (comment).

@rami3l rami3l marked this pull request as ready for review September 16, 2025 04:35
@rami3l rami3l requested review from djc and ChrisDenton September 16, 2025 04:35
Copy link
Contributor

@djc djc left a comment

Choose a reason for hiding this comment

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

Thanks for taking care of this!

@rami3l rami3l added this pull request to the merge queue Sep 16, 2025
Merged via the queue into rust-lang:master with commit b86136b Sep 16, 2025
29 checks passed
@rami3l rami3l deleted the deps/bump branch September 16, 2025 05: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.

2 participants