Skip to content

Clean up some externs#3218

Merged
bors merged 2 commits into
rust-lang:masterfrom
JohnTitor:cleanup-extern-c
Apr 23, 2023
Merged

Clean up some externs#3218
bors merged 2 commits into
rust-lang:masterfrom
JohnTitor:cleanup-extern-c

Conversation

@JohnTitor

Copy link
Copy Markdown
Member

No description provided.

Signed-off-by: Yuki Okushi <jtitor@2k36.org>
Signed-off-by: Yuki Okushi <jtitor@2k36.org>
@rustbot

rustbot commented Apr 23, 2023

Copy link
Copy Markdown
Collaborator

@JohnTitor: no appropriate reviewer found, use r? to override

@JohnTitor

Copy link
Copy Markdown
Member Author

@bors r+

@bors

bors commented Apr 23, 2023

Copy link
Copy Markdown
Contributor

📌 Commit 9d3b4d6 has been approved by JohnTitor

It is now in the queue for this repository.

@bors

bors commented Apr 23, 2023

Copy link
Copy Markdown
Contributor

⌛ Testing commit 9d3b4d6 with merge 6074ea8...

@bors

bors commented Apr 23, 2023

Copy link
Copy Markdown
Contributor

☀️ Test successful - checks-actions, checks-cirrus-freebsd-12, checks-cirrus-freebsd-13, checks-cirrus-freebsd-14
Approved by: JohnTitor
Pushing 6074ea8 to master...

@bors bors merged commit 6074ea8 into rust-lang:master Apr 23, 2023
@JohnTitor JohnTitor deleted the cleanup-extern-c branch April 23, 2023 02:55
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.

3 participants