Join GitHub today
GitHub is home to over 50 million developers working together to host and review code, manage projects, and build software together.
Sign upstyle: Remove HasViewportPercentage. #18300
Conversation
highfive
commented
Aug 29, 2017
|
Heads up! This PR modifies the following files:
|
|
Nice. @bors-servo r+ |
|
|
style: Remove HasViewportPercentage. It's not needed since #18268, let's kill it. <!-- Reviewable:start --> --- This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/18300) <!-- Reviewable:end -->
|
|
|
@bors-servo retry
|
style: Remove HasViewportPercentage. It's not needed since #18268, let's kill it. <!-- Reviewable:start --> --- This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/18300) <!-- Reviewable:end -->
|
Too bad this diff was that small :( |
|
|
|
@bors-servo retry |
|
|
|
|
|
Any chance this is caused by these changes?
|
|
No way, this is removing dead code. @bors-servo retry |
|
@bors-servo treeclosed- p=1 |
style: Remove HasViewportPercentage. It's not needed since #18268, let's kill it. <!-- Reviewable:start --> --- This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/18300) <!-- Reviewable:end -->
|
|
emilio commentedAug 29, 2017
•
edited by SimonSapin
It's not needed since #18268, let's kill it.
This change is