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 upUpdate WR (improved double border quality, minor API changes). #16551
Conversation
highfive
commented
Apr 21, 2017
|
Heads up! This PR modifies the following files:
|
highfive
commented
Apr 21, 2017
|
r? anyone |
|
@bors-servo: r+ |
|
|
Update WR (improved double border quality, minor API changes). <!-- 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/16551) <!-- Reviewable:end -->
|
|
Want to pull #16512 into this as well? |
|
@jdm OK, I've added that commit. |
|
@bors-servo: r+ |
|
|
Update WR (improved double border quality, minor API changes). <!-- 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/16551) <!-- Reviewable:end -->
|
|
|
|
@bors-servo try |
Update WR (improved double border quality, minor API changes). <!-- 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/16551) <!-- Reviewable:end -->
|
|
|
@bors-servo r=jdm
|
|
|
Update WR (improved double border quality, minor API changes). <!-- 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/16551) <!-- Reviewable:end -->
|
|
glennw commentedApr 21, 2017
•
edited by larsbergstrom
This change is