diff options
author | bors-servo <lbergstrom+bors@mozilla.com> | 2017-09-07 14:53:35 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-09-07 14:53:35 -0500 |
commit | 867a982fa71b26cec3788e1c825dd9addb9725f9 (patch) | |
tree | 79581b56d9cfb256190b11d31a42508442e96afb /components/script/dom/bindings/js.rs | |
parent | 8868d2223dbb28b07ae1936095bc9ec644fe58a7 (diff) | |
parent | 17a1dd938544a54b7457a42246872ebba1ec9bd5 (diff) | |
download | servo-867a982fa71b26cec3788e1c825dd9addb9725f9.tar.gz servo-867a982fa71b26cec3788e1c825dd9addb9725f9.zip |
Auto merge of #18407 - servo:kill-is-cancelled, r=emilio
Kill Runnable::is_cancelled ⚔️
<!-- 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/18407)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script/dom/bindings/js.rs')
0 files changed, 0 insertions, 0 deletions