Loading
servo: Merge #18543 - script: Fix integer-JSID handling in named getters (from...
servo: Merge #18543 - script: Fix integer-JSID handling in named getters (from emilio:named-getter-int); r=nox On top of #18539, fixes #10686. Source-Repo: https://github.com/servo/servo Source-Revision: ba90e13863208656b7f2e1f5727bb7bada83a0be --HG-- extra : subtree_source : https%3A//hg.mozilla.org/projects/converted-servo-linear extra : subtree_revision : f714b47e73db51947cdd5d1eb13d967560415457