Skip to content

/ servo

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

script: Fix integer-JSID handling in named getters. #18543

Merged
merged 3 commits into from Sep 18, 2017
+32 −96

script: remove unused function.

6edefb8
Select commit
f5d16fc
script: Fix integer-JSID handling in named getters.
emilio Sep 17, 2017
6edefb8
script: remove unused function.
emilio Sep 17, 2017
90fb284
script: Properly implement LegacyPlatformGetOwnProperty in WebIDL.
emilio Sep 18, 2017
Merged

script: Fix integer-JSID handling in named getters. #18543

script: remove unused function.
6edefb8
Select commit
f5d16fc
script: Fix integer-JSID handling in named getters.
emilio Sep 17, 2017
6edefb8
script: remove unused function.
emilio Sep 17, 2017
90fb284
script: Properly implement LegacyPlatformGetOwnProperty in WebIDL.
emilio Sep 18, 2017

Workflow runs completed with no jobs

You can’t perform that action at this time.