diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2016-12-02 09:59:00 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-12-02 09:59:00 -0800 |
| commit | 3376922f2d0275ba9d39748f1b2283062a687f41 (patch) | |
| tree | 912a8282bad9b5c832e988b42663f4dfe3c1437a /python/servo/testing_commands.py | |
| parent | a913815a4de0f1b66a5fd6dfe1c41105cf38e63e (diff) | |
| parent | e3a9637107a175c4333a36becd7fb37be4088caa (diff) | |
| download | servo-3376922f2d0275ba9d39748f1b2283062a687f41.tar.gz servo-3376922f2d0275ba9d39748f1b2283062a687f41.zip | |
Auto merge of #14439 - emilio:fix-bloom, r=bholley
style: Don't pop too much in the bloom filter.
<!-- Please describe your changes on the following line: -->
This is not a problem for Servo, because we recovered it without much problem a
few lines below, and we never reached the pathological case where the filter has
one element (the root), and we restyled another element with depth 1.
Fixes [bug 1321725](https://bugzil.la/1321725).
<!-- 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/14439)
<!-- Reviewable:end -->
Diffstat (limited to 'python/servo/testing_commands.py')
0 files changed, 0 insertions, 0 deletions