diff options
author | bors-servo <lbergstrom+bors@mozilla.com> | 2016-11-04 19:09:35 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-11-04 19:09:35 -0500 |
commit | 516be8f85c0c79b16c3841c60d887661abe91e81 (patch) | |
tree | 38ef10fcd080f666850afbc1a9241e7fc12dbc94 /python | |
parent | 2b4a7b0b7ad9dd568dfde15ab47dc634ec561d70 (diff) | |
parent | d62e14f8b1e1d8a332d5d946c6932c20371a5971 (diff) | |
download | servo-516be8f85c0c79b16c3841c60d887661abe91e81.tar.gz servo-516be8f85c0c79b16c3841c60d887661abe91e81.zip |
Auto merge of #14074 - glennw:shader-hot-fix, r=pcwalton
Manually copy across a shader fix from WR.
This fix has landed in WR, but WR can't be updated right now, due
to a scroll change landing in WR without the Servo PR being ready
quite yet.
Fixes #14061.
Fixes #14073.
<!-- 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/14074)
<!-- Reviewable:end -->
Diffstat (limited to 'python')
0 files changed, 0 insertions, 0 deletions