diff options
author | bors-servo <lbergstrom+bors@mozilla.com> | 2016-01-10 15:49:04 +0530 |
---|---|---|
committer | bors-servo <lbergstrom+bors@mozilla.com> | 2016-01-10 15:49:04 +0530 |
commit | d3e2f94f2024f4735f836588ed11303a0abafdf8 (patch) | |
tree | 1635c4fa9cc826a29ce15d22690687170978f0b9 /python | |
parent | aa713c9fbb56fd3f1427779bb31ec48dee316187 (diff) | |
parent | 1f02c4ebbb7d5ea49051f4391f1418f20c15d7a9 (diff) | |
download | servo-d3e2f94f2024f4735f836588ed11303a0abafdf8.tar.gz servo-d3e2f94f2024f4735f836588ed11303a0abafdf8.zip |
Auto merge of #9201 - wenderen:8512-task-thread, r=jdm
task -> thread
for #8512
<!-- Reviewable:start -->
[<img src="https://reviewable.io/review_button.png" height=40 alt="Review on Reviewable"/>](https://reviewable.io/reviews/servo/servo/9201)
<!-- Reviewable:end -->
Diffstat (limited to 'python')
0 files changed, 0 insertions, 0 deletions