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 html5ever to 0.8 #13813
Update html5ever to 0.8 #13813
Conversation
highfive
commented
Oct 18, 2016
highfive
commented
Oct 18, 2016
|
@bors-servo r+ |
|
|
|
|
|
@bors-servo p=100 I have a pile of things blocked on this. |
Rust ICE. Fun! |
|
This ICE is fixed in today’s nightly, rustup coming up. |
|
Rebased on top of rustup https://github.com/servo/servo/compare/h5eup |
|
|
|
@bors-servo r=SimonSapin |
|
|
Update html5ever to 0.8 <!-- 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/13813) <!-- Reviewable:end -->
|
|
|
@bors-servo r+ Reviewed 5 of 5 files at r2. Comments from Reviewable |
|
|
Update html5ever to 0.8 <!-- 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/13813) <!-- Reviewable:end -->
|
|
highfive
commented
Nov 3, 2016
|
|
@bors-servo retry #13573 |
Update html5ever to 0.8 <!-- 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/13813) <!-- Reviewable:end -->
|
|
nox commentedOct 18, 2016
•
edited by larsbergstrom
This change is