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

Revert the fundamental changes in #74762 and #75257 #75488

Merged
merged 1 commit into from
Aug 15, 2020

Conversation

ssomers
Copy link
Contributor

@ssomers ssomers commented Aug 13, 2020

Before possibly going over to #75487. Also contains some added and fixed comments.

r? @Mark-Simulacrum

@Mark-Simulacrum
Copy link
Member

@bors r+

Going to approve this revert as I'm not sure I'll have time to do a thorough review of the other patches until at least the weekend.

@bors
Copy link
Contributor

bors commented Aug 13, 2020

📌 Commit 8668e5b has been approved by Mark-Simulacrum

@bors bors added the S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. label Aug 13, 2020
@ssomers ssomers changed the title Reverts the fundamental changes in #74762 and #75257 Revert the fundamental changes in #74762 and #75257 Aug 13, 2020
@bors
Copy link
Contributor

bors commented Aug 15, 2020

⌛ Testing commit 8668e5b with merge f7aac25...

@bors
Copy link
Contributor

bors commented Aug 15, 2020

☀️ Test successful - checks-actions, checks-azure
Approved by: Mark-Simulacrum
Pushing f7aac25 to master...

@bors bors added the merged-by-bors This PR was explicitly merged by bors. label Aug 15, 2020
@bors bors merged commit f7aac25 into rust-lang:master Aug 15, 2020
@ssomers ssomers deleted the btree_revert_75257 branch August 15, 2020 08:24
@cuviper cuviper added this to the 1.47.0 milestone May 2, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
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.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants