Skip to content

Conversation

Alexendoo
Copy link
Member

Follow up to #10669, we're pretty used to them so they're easy to slip through

changelog: none

@rustbot
Copy link
Collaborator

rustbot commented Apr 23, 2023

r? @flip1995

(rustbot has picked a reviewer for you, use r? to override)

@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties label Apr 23, 2023
@flip1995
Copy link
Member

flip1995 commented Jun 5, 2023

@bors r+

Thanks!

@bors
Copy link
Contributor

bors commented Jun 5, 2023

📌 Commit b406766 has been approved by flip1995

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented Jun 5, 2023

☀️ Test successful - checks-action_dev_test, checks-action_remark_test, checks-action_test
Approved by: flip1995
Pushing 4895a40 to master...

@bors bors merged commit 4895a40 into rust-lang:master Jun 5, 2023
@Alexendoo Alexendoo deleted the old-test-headers branch June 5, 2023 10:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
S-waiting-on-review Status: Awaiting review from the assignee but also interested parties
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants