diff options
author | Emilio Cobos Álvarez <emilio@crisal.io> | 2017-09-17 19:25:58 +0200 |
---|---|---|
committer | Emilio Cobos Álvarez <emilio@crisal.io> | 2017-09-18 09:15:13 +0200 |
commit | f5d16fc069533b810a76a2fa611882e1b9c8743c (patch) | |
tree | 15af38f409a47be589ca15af610879bb19f8458a /components/script/dom/webglbuffer.rs | |
parent | 8397c5b0a210a33a0991d369e88016dd51f521fd (diff) | |
download | servo-f5d16fc069533b810a76a2fa611882e1b9c8743c.tar.gz servo-f5d16fc069533b810a76a2fa611882e1b9c8743c.zip |
script: Fix integer-JSID handling in named getters.
Fixes #10686
Diffstat (limited to 'components/script/dom/webglbuffer.rs')
0 files changed, 0 insertions, 0 deletions