Skip to content

Conversation

stepancheg
Copy link
Contributor

@rustbot
Copy link
Collaborator

rustbot commented Feb 22, 2023

Thanks for the pull request, and welcome! The Rust team is excited to review your changes, and you should hear from @JohnTitor (or someone else) soon.

Please see the contribution instructions for more information.

@JohnTitor
Copy link
Member

Thank you!
@bors r+

@bors
Copy link
Contributor

bors commented Mar 1, 2023

📌 Commit 1f5e500 has been approved by JohnTitor

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented Mar 1, 2023

⌛ Testing commit 1f5e500 with merge 09d5a4b...

@bors
Copy link
Contributor

bors commented Mar 1, 2023

☀️ Test successful - checks-actions, checks-cirrus-freebsd-12, checks-cirrus-freebsd-13, checks-cirrus-freebsd-14
Approved by: JohnTitor
Pushing 09d5a4b to master...

@bors bors merged commit 09d5a4b into rust-lang:master Mar 1, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants