Skip to content

Conversation

@Veykril
Copy link
Member

@Veykril Veykril commented Jan 20, 2023

No description provided.

@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Jan 20, 2023
@lnicola lnicola added S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Feb 13, 2023
@bors
Copy link
Contributor

bors commented Mar 3, 2023

☔ The latest upstream changes (presumably #14243) made this pull request unmergeable. Please resolve the merge conflicts.

@Veykril Veykril marked this pull request as ready for review March 14, 2023 19:56
@Veykril
Copy link
Member Author

Veykril commented Mar 14, 2023

@bors r+

@bors
Copy link
Contributor

bors commented Mar 14, 2023

📌 Commit 510e4b4 has been approved by Veykril

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented Mar 14, 2023

⌛ Testing commit 510e4b4 with merge b4d7ea0...

@bors
Copy link
Contributor

bors commented Mar 14, 2023

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

@bors bors merged commit b4d7ea0 into rust-lang:master Mar 14, 2023
@lnicola
Copy link
Member

lnicola commented Mar 20, 2023

image

@Veykril Veykril deleted the incoherent-impl branch March 20, 2023 09:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants