Skip to content

Conversation

Veykril
Copy link
Member

@Veykril Veykril commented Jun 3, 2022

No description provided.

@Veykril
Copy link
Member Author

Veykril commented Jun 3, 2022

@bors r+

@bors
Copy link
Contributor

bors commented Jun 3, 2022

📌 Commit a2a74bf has been approved by Veykril

@bors
Copy link
Contributor

bors commented Jun 3, 2022

⌛ Testing commit a2a74bf with merge 312913a...

@bors
Copy link
Contributor

bors commented Jun 3, 2022

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

@bors bors merged commit 312913a into rust-lang:master Jun 3, 2022
@Veykril Veykril deleted the completions branch June 3, 2022 19:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants