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 upfix #8461 #9471
fix #8461 #9471
Conversation
highfive
commented
Jan 31, 2016
|
Thanks for the pull request, and welcome! The Servo team is excited to review your changes, and you should hear from @Ms2ger (or someone else) soon. |
highfive
commented
Jan 31, 2016
|
@bors-servo: r+ |
|
|
fix #8461 <!-- Reviewable:start --> [<img src="https://reviewable.io/review_button.svg" height="40" alt="Review on Reviewable"/>](https://reviewable.io/reviews/servo/servo/9471) <!-- Reviewable:end -->
|
|
|
@bors-servo: retry |
|
|
|
|
|
@bors-servo retry |
|
|
|
|
|
@bors-servo retry #7910 |
fix #8461 <!-- Reviewable:start --> [<img src="https://reviewable.io/review_button.svg" height="40" alt="Review on Reviewable"/>](https://reviewable.io/reviews/servo/servo/9471) <!-- Reviewable:end -->
|
|
fix #8461 <!-- Reviewable:start --> [<img src="https://reviewable.io/review_button.svg" height="40" alt="Review on Reviewable"/>](https://reviewable.io/reviews/servo/servo/9471) <!-- Reviewable:end -->
|
|
|
@bors-servo retry |
|
@bors-servo p=0 |
fix #8461 <!-- Reviewable:start --> [<img src="https://reviewable.io/review_button.svg" height="40" alt="Review on Reviewable"/>](https://reviewable.io/reviews/servo/servo/9471) <!-- Reviewable:end -->
|
|
|
@bors-servo retry |
fix #8461 <!-- Reviewable:start --> [<img src="https://reviewable.io/review_button.svg" height="40" alt="Review on Reviewable"/>](https://reviewable.io/reviews/servo/servo/9471) <!-- Reviewable:end -->
|
|
|
@bors-servo retry (out of disk space on build master) |
fix #8461 <!-- Reviewable:start --> [<img src="https://reviewable.io/review_button.svg" height="40" alt="Review on Reviewable"/>](https://reviewable.io/reviews/servo/servo/9471) <!-- Reviewable:end -->
|
|
peterkort commentedJan 31, 2016