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 upscript: a couple DOM conversion fixes #18539
Conversation
highfive
commented
Sep 17, 2017
|
Heads up! This PR modifies the following files:
|
highfive
commented
Sep 17, 2017
|
r? @nox @bors-servo try
|
|
|
|
@bors-servo r+ |
|
|
|
|
|
|
|
@bors-servo r=nox |
|
|
script: a couple DOM conversion fixes Fixes #18535 <!-- 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/18539) <!-- Reviewable:end -->
script: Fix integer-JSID handling in named getters. On top of #18539, fixes #10686. <!-- 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/18543) <!-- Reviewable:end -->
script: Fix integer-JSID handling in named getters. On top of #18539, fixes #10686. <!-- 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/18543) <!-- Reviewable:end -->
script: Fix integer-JSID handling in named getters. On top of #18539, fixes #10686. <!-- 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/18543) <!-- Reviewable:end -->
|
|
script: Fix integer-JSID handling in named getters. On top of #18539, fixes #10686. <!-- 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/18543) <!-- Reviewable:end -->
script: Fix integer-JSID handling in named getters. On top of #18539, fixes #10686. <!-- 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/18543) <!-- Reviewable:end -->
script: Fix integer-JSID handling in named getters. On top of #18539, fixes #10686. <!-- 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/18543) <!-- Reviewable:end -->
script: Fix integer-JSID handling in named getters. On top of #18539, fixes #10686. <!-- 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/18543) <!-- Reviewable:end -->
emilio commentedSep 17, 2017
•
edited by SimonSapin
Fixes #18535
This change is