Skip to content

Conversation

@devnexen
Copy link
Contributor

close #3704

@rustbot
Copy link
Collaborator

rustbot commented May 21, 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

@JohnTitor JohnTitor enabled auto-merge June 18, 2024 15:58
@JohnTitor JohnTitor added this pull request to the merge queue Jun 18, 2024
Merged via the queue into rust-lang:libc-0.2 with commit 251a968 Jun 18, 2024
@tgross35 tgross35 added the main-needs-cherry-pick This PR was merged against libc-0.2 but does not yet exist in main. label Aug 13, 2024
tgross35 pushed a commit to tgross35/rust-libc that referenced this pull request Aug 29, 2024
close rust-lang#3704

(apply <rust-lang#3716> to `main`)
(cherry picked from commit fe41e4a)
tgross35 pushed a commit to tgross35/rust-libc that referenced this pull request Aug 29, 2024
close rust-lang#3704

(apply <rust-lang#3716> to `main`)
(cherry picked from commit fe41e4a)
@tgross35 tgross35 added main-applied This PR was merged against libc-0.2 and main has since been updated to include it and removed main-needs-cherry-pick This PR was merged against libc-0.2 but does not yet exist in main. labels Aug 29, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

main-applied This PR was merged against libc-0.2 and main has since been updated to include it S-waiting-on-review

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants