Skip to content

Conversation

@tgross35
Copy link
Contributor

No description provided.

@rustbot
Copy link
Collaborator

rustbot commented Nov 18, 2024

r? @JohnTitor

rustbot has assigned @JohnTitor.
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

@tgross35 tgross35 added this pull request to the merge queue Nov 18, 2024
Merged via the queue into rust-lang:main with commit c451445 Nov 18, 2024
44 checks passed
@tgross35 tgross35 deleted the sync-build-main branch November 18, 2024 18:45
@tgross35 tgross35 added the stable-unneeded This PR is applied to main but already exists on libc-0.2 label Mar 10, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

S-waiting-on-review stable-unneeded This PR is applied to main but already exists on libc-0.2

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants