Skip to content

Conversation

Veykril
Copy link
Member

@Veykril Veykril commented Apr 7, 2023

Reverts #14521 as it introduces too many mismatches

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

Veykril commented Apr 7, 2023

@bors r+

@bors
Copy link
Contributor

bors commented Apr 7, 2023

📌 Commit 435d585 has been approved by Veykril

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented Apr 7, 2023

⌛ Testing commit 435d585 with merge 972f131...

@bors
Copy link
Contributor

bors commented Apr 7, 2023

☀️ Test successful - checks-actions
Approved by: Veykril
Pushing 972f131 to master...

@bors bors merged commit 972f131 into master Apr 7, 2023
@bors bors deleted the revert-14521-dev branch April 7, 2023 09:19
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