diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2017-06-22 14:39:30 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-06-22 14:39:30 -0700 |
| commit | 7fbbfde2787510bf6e65d43cedc6cbe6093fa456 (patch) | |
| tree | be69e0c3dcbda176f8db3a3e3e50f1c46fbd0c7f /components/script/docs/JS-Servos-only-GC.md | |
| parent | 2414688f5aff5dbc7302d30f3103dda2c16581ed (diff) | |
| parent | 71e76a054d20221e9782cebb12091a81a48fcf4c (diff) | |
| download | servo-7fbbfde2787510bf6e65d43cedc6cbe6093fa456.tar.gz servo-7fbbfde2787510bf6e65d43cedc6cbe6093fa456.zip | |
Auto merge of #17462 - bholley:bloom_optimizations, r=emilio
various bloom filter optimizations
https://bugzilla.mozilla.org/show_bug.cgi?id=1375323
<!-- 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/17462)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script/docs/JS-Servos-only-GC.md')
0 files changed, 0 insertions, 0 deletions