Skip to content

Conversation

@GuillaumeGomez
Copy link
Member

The first commit removes an unused dependency. The other commits though "inline" the dependency when it was only for very minor things. It's all up-to-debate (well except the first commit 😄). :)

@GuillaumeGomez GuillaumeGomez requested a review from a team as a code owner January 21, 2026 16:04
@github-actions github-actions bot added the S-waiting-on-review Status: This pull request has been implemented and needs to be reviewed label Jan 21, 2026
@GuillaumeGomez GuillaumeGomez force-pushed the rm-deps branch 2 times, most recently from 482f318 to 5ee7188 Compare January 21, 2026 16:14
Copy link
Member

@syphar syphar left a comment

Choose a reason for hiding this comment

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

I see what you mean, let's do it.

Will also keep that in mind for other things.

@syphar syphar merged commit 5cf81da into rust-lang:main Jan 21, 2026
11 checks passed
@github-actions github-actions bot added S-waiting-on-deploy This PR is ready to be merged, but is waiting for an admin to have time to deploy it and removed S-waiting-on-review Status: This pull request has been implemented and needs to be reviewed labels Jan 21, 2026
@GuillaumeGomez GuillaumeGomez deleted the rm-deps branch January 21, 2026 16:54
@GuillaumeGomez
Copy link
Member Author

I think there isn't much more to be done after this PR on this track. Might have missed some things but at least all the obvious ones were removed.

@syphar syphar removed the S-waiting-on-deploy This PR is ready to be merged, but is waiting for an admin to have time to deploy it label Jan 22, 2026
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