diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2017-07-15 15:07:51 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-07-15 15:07:51 -0700 |
| commit | 17f99e2a7bb0d7eec167eac952f12a7feafd647d (patch) | |
| tree | 159601ac041c10f5c48b6dfb01c883b4504ffa89 /python | |
| parent | 98836ff30d6c13a49902b7a15324ea94ee062046 (diff) | |
| parent | b7de96e7025c7336ff34ec779d3dfceb268d647d (diff) | |
| download | servo-17f99e2a7bb0d7eec167eac952f12a7feafd647d.tar.gz servo-17f99e2a7bb0d7eec167eac952f12a7feafd647d.zip | |
Auto merge of #17741 - bholley:trim_traversal_fat, r=emilio
Trim some fat from the traversal
https://bugzilla.mozilla.org/show_bug.cgi?id=1380877
<!-- 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/17741)
<!-- Reviewable:end -->
Diffstat (limited to 'python')
0 files changed, 0 insertions, 0 deletions