diff options
author | bors-servo <lbergstrom+bors@mozilla.com> | 2016-12-08 15:12:42 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-12-08 15:12:42 -0800 |
commit | da2f41ba134ee05df0fae659cc2ead562584dd80 (patch) | |
tree | 239c3524e84a6234db481112557dcbe50d90565b /python/servo/package_commands.py | |
parent | fffdcc1d7d7eb0e9aa0dd35ed2ec748fb1b3b047 (diff) | |
parent | fb456402b02ad3d0e6e76cbc3ca36f8141594044 (diff) | |
download | servo-da2f41ba134ee05df0fae659cc2ead562584dd80.tar.gz servo-da2f41ba134ee05df0fae659cc2ead562584dd80.zip |
Auto merge of #14502 - servo:filter-map, r=frewsxcv
Replace an unidiomatic use of filter_map().
<!-- 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/14502)
<!-- Reviewable:end -->
Diffstat (limited to 'python/servo/package_commands.py')
0 files changed, 0 insertions, 0 deletions