Skip to content

Conversation

@tgross35
Copy link
Contributor

No description provided.

@rustbot
Copy link
Collaborator

rustbot commented Nov 14, 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 enabled auto-merge November 14, 2024 00:37
@tgross35 tgross35 added the stable-nominated This PR should be considered for cherry-pick to libc's stable release branch label Nov 14, 2024
@tgross35 tgross35 added this pull request to the merge queue Nov 14, 2024
Merged via the queue into main with commit 3a0b044 Nov 14, 2024
@tgross35 tgross35 deleted the tgross35-patch-1 branch November 14, 2024 06:06
tgross35 added a commit to tgross35/rust-libc that referenced this pull request Nov 15, 2024
(backport <rust-lang#4037>)
(cherry picked from commit 16dc917)
@tgross35 tgross35 mentioned this pull request Nov 15, 2024
@tgross35 tgross35 added stable-applied This PR has been cherry-picked to libc's stable release branch and removed stable-nominated This PR should be considered for cherry-pick to libc's stable release branch labels Nov 16, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

S-waiting-on-review stable-applied This PR has been cherry-picked to libc's stable release branch

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants