Skip to content

Conversation

@youknowone
Copy link
Contributor

@rustbot
Copy link
Collaborator

rustbot commented May 5, 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:55
@JohnTitor JohnTitor added this pull request to the merge queue Jun 18, 2024
Merged via the queue into rust-lang:main with commit 7d7151c Jun 18, 2024
tgross35 pushed a commit to tgross35/rust-libc that referenced this pull request Nov 18, 2024
(backport <rust-lang#3680>)
(cherry picked from commit 6987fc0)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants