Skip to content

Conversation

@lnicola
Copy link
Member

@lnicola lnicola commented Jul 16, 2023

Reverts #15288

@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Jul 16, 2023
@lnicola
Copy link
Member Author

lnicola commented Jul 16, 2023

@bors r+

@bors
Copy link
Contributor

bors commented Jul 16, 2023

📌 Commit 467f5f4 has been approved by lnicola

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented Jul 16, 2023

⌛ Testing commit 467f5f4 with merge f4b5c7c...

@bors
Copy link
Contributor

bors commented Jul 16, 2023

☀️ Test successful - checks-actions
Approved by: lnicola
Pushing f4b5c7c to master...

@bors bors merged commit f4b5c7c into master Jul 16, 2023
@bors bors deleted the revert-15288-15143 branch July 16, 2023 06:50
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.

3 participants