Skip to content

Conversation

Urgau
Copy link
Member

@Urgau Urgau commented Apr 15, 2025

@rustbot
Copy link
Collaborator

rustbot commented Apr 15, 2025

r? @apiraino

rustbot has assigned @apiraino.
They will have a look at your PR within the next two weeks and either review your PR or reassign to another reviewer.

Use r? to explicitly pick a reviewer

@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Apr 15, 2025
Copy link
Contributor

@apiraino apiraino left a comment

Choose a reason for hiding this comment

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

I didn't follow closely the discussion, but this change seems to make sense

@apiraino apiraino merged commit 2e844b1 into rust-lang:master Apr 16, 2025
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
S-waiting-on-review Status: Awaiting review from the assignee but also interested parties.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants