Skip to content

Conversation

@Jarcho
Copy link
Contributor

@Jarcho Jarcho commented Jan 12, 2023

This partially reverts #9701 due to #10134

r? @flip1995

changelog: None

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

@bors r+

Thanks! Will be included in the sync 👍

@bors
Copy link
Contributor

bors commented Jan 12, 2023

📌 Commit 757e944 has been approved by flip1995

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented Jan 12, 2023

⌛ Testing commit 757e944 with merge 7f27e2e...

@bors
Copy link
Contributor

bors commented Jan 12, 2023

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

@bors bors merged commit 7f27e2e into rust-lang:master Jan 12, 2023
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