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 the WebIDL parser #13431
Update the WebIDL parser #13431
Conversation
highfive
commented
Sep 26, 2016
|
Heads up! This PR modifies the following files:
|
highfive
commented
Sep 26, 2016
|
@bors-servo r+ |
|
|
|
@bors-servo retry |
|
@bors-servo r=Ms2ger |
|
|
|
Update the WebIDL parser <!-- 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/13431) <!-- Reviewable:end -->
|
|
|
@bors-servo retry |
|
@bors-servo p=1 |
|
THIS MEANS WAR @Ms2ger @bors-servo p=11 TAKE THAT |
Update the WebIDL parser <!-- 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/13431) <!-- Reviewable:end -->
|
|
|
@bors-servo: retry |
|
|
|
|
nox commentedSep 26, 2016
•
edited by larsbergstrom
This change is