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.

Sign up for GitHub

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

Jump to bottom

[Merged by Bors] - Remove dead anchor.rs code #3551

Closed
wants to merge 2 commits into from
Closed

[Merged by Bors] - Remove dead anchor.rs code #3551

wants to merge 2 commits into from

Conversation

alice-i-cecile
Copy link
Member

Objective

Solution

  • Anchors away!

@alice-i-cecile alice-i-cecile added A-UI Graphical user interfaces, styles, layouts, and widgets C-Code-Quality A section of code that is hard to understand or change labels Jan 4, 2022
@github-actions github-actions bot added the S-Needs-Triage This issue needs to be labelled label Jan 4, 2022
@alice-i-cecile
Copy link
Member Author

Originally added in 076fef8#diff-8f468283199945ef0dc8f05bc8bec8554e4cba01d0041f1b1964fe594f6ffecd, which is no longer in use: Node now only has a size field and layout is handled using different strategies.

@alice-i-cecile alice-i-cecile removed the S-Needs-Triage This issue needs to be labelled label Jan 4, 2022
@cart
Copy link
Member

cart commented Jan 5, 2022

bors r+

bors bot pushed a commit that referenced this pull request Jan 5, 2022
@alice-i-cecile
Remove dead anchor.rs code (#3551)
0bae5bb 
# Objective

- As noticed by @Sheepyhead in #3526, `anchor.rs` is completely unused.

## Solution

- Anchors away!
@bors
Copy link
Contributor

bors bot commented Jan 5, 2022

Pull request successfully merged into main.

Build succeeded:

@bors bors bot changed the title Remove dead anchor.rs code [Merged by Bors] - Remove dead anchor.rs code Jan 5, 2022
@bors bors bot closed this Jan 5, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
A-UI Graphical user interfaces, styles, layouts, and widgets C-Code-Quality A section of code that is hard to understand or change
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@alice-i-cecile @cart