Skip to content

New prelude #85687

New issue

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

#

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

Already on GitHub? # to your account

Jump to bottom
Merged
merged 3 commits into from
Jun 2, 2021
Merged

New prelude #85687

merged 3 commits into from
Jun 2, 2021

Conversation

m-ou-se
Copy link
Member

@m-ou-se m-ou-se commented May 25, 2021 •
edited
Loading

RFC: rust-lang/rfcs#3114
Tracking issue: #85684

@m-ou-se m-ou-se added the T-libs-api Relevant to the library API team, which will review and decide on the PR/issue. label May 25, 2021
@rust-highfive
Copy link
Contributor

r? @kennytm

(rust-highfive has picked a reviewer for you, use r? to override)

@rust-highfive rust-highfive added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label May 25, 2021
@m-ou-se m-ou-se mentioned this pull request May 25, 2021
Closed
6 tasks
@jonas-schievink jonas-schievink mentioned this pull request May 30, 2021
Closed
5 tasks
@m-ou-se
Copy link
Member Author

m-ou-se commented May 31, 2021

r? @yaahc

@rust-highfive rust-highfive assigned yaahc and unassigned kennytm May 31, 2021
@yaahc
Copy link
Member

yaahc commented Jun 1, 2021

@bors r+

@bors
Copy link
Collaborator

bors commented Jun 1, 2021

📌 Commit 4f93b06 has been approved by yaahc

@bors bors added S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Jun 1, 2021
@bors
Copy link
Collaborator

bors commented Jun 2, 2021

⌛ Testing commit 4f93b06 with merge c4f186f...

@bors bors mentioned this pull request Jun 2, 2021
Merged
@bors
Copy link
Collaborator

bors commented Jun 2, 2021

☀️ Test successful - checks-actions
Approved by: yaahc
Pushing c4f186f to master...

@bors bors added the merged-by-bors This PR was explicitly merged by bors. label Jun 2, 2021
@bors bors merged commit c4f186f into rust-lang:master Jun 2, 2021
@rustbot rustbot added this to the 1.54.0 milestone Jun 2, 2021
@m-ou-se m-ou-se deleted the new-prelude branch September 3, 2021 14:45
# for free to join this conversation on GitHub. Already have an account? # to comment
Reviewers
No reviews
Assignees

@yaahc yaahc

Labels
merged-by-bors This PR was explicitly merged by bors. S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. T-libs-api Relevant to the library API team, which will review and decide on the PR/issue.
Projects
None yet
Milestone
1.54.0
Development

Successfully merging this pull request may close these issues.
6 participants
@m-ou-se @rust-highfive @yaahc @bors @kennytm @rustbot