diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2016-11-28 10:30:19 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-11-28 10:30:19 -0800 |
| commit | 2289ad53dd9a2666645b1f7eef07636e21c1607e (patch) | |
| tree | 288953776a58cb43a34efcd4b7b463433be25f03 /components/script/dom/webglrenderbuffer.rs | |
| parent | 555aa4055377fd085e0322a84175bbfc1382ff69 (diff) | |
| parent | de1a3d879fa910d4e77a48b9055cd1cdac3f21a5 (diff) | |
| download | servo-2289ad53dd9a2666645b1f7eef07636e21c1607e.tar.gz servo-2289ad53dd9a2666645b1f7eef07636e21c1607e.zip | |
Auto merge of #14353 - emilio:fix-bloom, r=SimonSapin
Fix the bloom filter stuff.
<!-- Please describe your changes on the following line: -->
I think I got the numbers right, want to do a try run before just in case.
r? @SimonSapin
<!-- 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/14353)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script/dom/webglrenderbuffer.rs')
0 files changed, 0 insertions, 0 deletions