diff options
| author | Emilio Cobos Álvarez <emilio@crisal.io> | 2016-12-02 12:29:25 +0100 |
|---|---|---|
| committer | Emilio Cobos Álvarez <emilio@crisal.io> | 2016-12-02 12:29:25 +0100 |
| commit | e3a9637107a175c4333a36becd7fb37be4088caa (patch) | |
| tree | 912a8282bad9b5c832e988b42663f4dfe3c1437a /python/servo/testing_commands.py | |
| parent | a913815a4de0f1b66a5fd6dfe1c41105cf38e63e (diff) | |
| download | servo-e3a9637107a175c4333a36becd7fb37be4088caa.tar.gz servo-e3a9637107a175c4333a36becd7fb37be4088caa.zip | |
style: Don't pop too much in the bloom filter.
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.
Diffstat (limited to 'python/servo/testing_commands.py')
0 files changed, 0 insertions, 0 deletions