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

Rename generator to coroutine #806

Merged
merged 2 commits into from
Dec 31, 2023

Conversation

mohe2015
Copy link
Contributor

@mohe2015 mohe2015 force-pushed the rename-generator-to-coroutine branch from 80bd2c1 to b8e4bd9 Compare December 25, 2023 22:34
@jackh726
Copy link
Member

Thanks!

@bors r+

@bors
Copy link
Contributor

bors commented Dec 31, 2023

📌 Commit c9f0ad5 has been approved by jackh726

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented Dec 31, 2023

⌛ Testing commit c9f0ad5 with merge 9a64a35...

@bors
Copy link
Contributor

bors commented Dec 31, 2023

☀️ Test successful - checks-actions
Approved by: jackh726
Pushing 9a64a35 to master...

@bors bors merged commit 9a64a35 into rust-lang:master Dec 31, 2023
7 checks passed
@mohe2015 mohe2015 deleted the rename-generator-to-coroutine branch January 1, 2024 00:41
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.

3 participants