Skip to content

Conversation

ojuschugh1
Copy link
Contributor

@ojuschugh1 ojuschugh1 commented Aug 2, 2025

This PR fixes issue #472

Rendered

@rustbot
Copy link
Collaborator

rustbot commented Aug 2, 2025

r? @jsha

rustbot has assigned @jsha.
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 Aug 2, 2025
@apiraino
Copy link
Contributor

apiraino commented Aug 2, 2025

thanks

@apiraino apiraino merged commit 10afc65 into rust-lang:master Aug 2, 2025
1 check passed
@rustbot rustbot removed the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Aug 2, 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.

4 participants