Skip to content

Conversation

detrumi
Copy link
Contributor

@detrumi detrumi commented Nov 29, 2022

Changes:

@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Nov 29, 2022
@Veykril
Copy link
Member

Veykril commented Nov 29, 2022

@bors r+

@bors
Copy link
Contributor

bors commented Nov 29, 2022

📌 Commit 16bf32f has been approved by Veykril

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented Nov 29, 2022

⌛ Testing commit 16bf32f with merge 3827e3d...

@bors
Copy link
Contributor

bors commented Nov 29, 2022

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

@bors bors merged commit 3827e3d into rust-lang:master Nov 29, 2022
@detrumi detrumi deleted the chalk-update branch November 29, 2022 15:49
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