Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

minor : Deunwrap convert_to_guarded_return #15426

Merged
merged 1 commit into from Aug 15, 2023

Conversation

alibektas
Copy link
Member

Closes subtask 12 of #15398

@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Aug 9, 2023
@lnicola lnicola mentioned this pull request Aug 9, 2023
15 tasks
@Veykril
Copy link
Member

Veykril commented Aug 15, 2023

@bors r+

@bors
Copy link
Collaborator

bors commented Aug 15, 2023

📌 Commit ebf2705 has been approved by Veykril

It is now in the queue for this repository.

@bors
Copy link
Collaborator

bors commented Aug 15, 2023

⌛ Testing commit ebf2705 with merge 0b2a241...

@bors
Copy link
Collaborator

bors commented Aug 15, 2023

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

@bors bors merged commit 0b2a241 into rust-lang:master Aug 15, 2023
10 checks passed
@alibektas alibektas deleted the deunwrap/convert_to_guarded_return branch September 29, 2023 10:10
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.

None yet

4 participants