Skip to content

Conversation

tgross35
Copy link
Contributor

@tgross35 tgross35 commented Oct 1, 2024

No description provided.

@rustbot
Copy link
Collaborator

rustbot commented Oct 1, 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 October 1, 2024 03:46
@tgross35 tgross35 added this pull request to the merge queue Oct 1, 2024
Merged via the queue into main with commit d3927d3 Oct 1, 2024
41 checks passed
@tgross35 tgross35 deleted the tgross35-patch-1 branch October 16, 2024 19:48
@tgross35 tgross35 added the stable-nominated This PR should be considered for cherry-pick to libc's stable release branch label Oct 16, 2024
tgross35 added a commit to tgross35/rust-libc that referenced this pull request Oct 17, 2024
(backport <rust-lang#3954>)
(cherry picked from commit da3470c)
@tgross35 tgross35 mentioned this pull request Oct 17, 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 Oct 17, 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