diff options
author | bors-servo <lbergstrom+bors@mozilla.com> | 2018-03-23 10:14:04 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-03-23 10:14:04 -0400 |
commit | 4a6453ac9ad956502ec6d39093b83820d94a409e (patch) | |
tree | 85ff03861e79fa7f72d2fbf299dc048790d72427 /components/script/timers.rs | |
parent | 91398cf559ddeec8974e04b0a92e464669436177 (diff) | |
parent | 838d1305cabea1296b6d87dd31e810b0338704a1 (diff) | |
download | servo-4a6453ac9ad956502ec6d39093b83820d94a409e.tar.gz servo-4a6453ac9ad956502ec6d39093b83820d94a409e.zip |
Auto merge of #20397 - servo:webgl, r=emilio
Implement OES_element_index_uint (fixes #20384)
<!-- 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/20397)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script/timers.rs')
0 files changed, 0 insertions, 0 deletions