diff options
author | bors-servo <lbergstrom+bors@mozilla.com> | 2019-03-06 18:57:35 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-03-06 18:57:35 -0500 |
commit | 008368fa671e2a25ea5dd81116e71ca21067e04b (patch) | |
tree | ec3985248a10a6d8befdc537d3abe3340cd216d9 /components/script/script_thread.rs | |
parent | 55347aa39f272b5b3fc7ede6403f70aa49d31ce1 (diff) | |
parent | 086d2f4c2647994d2f5131a700e4a71354352736 (diff) | |
download | servo-008368fa671e2a25ea5dd81116e71ca21067e04b.tar.gz servo-008368fa671e2a25ea5dd81116e71ca21067e04b.zip |
Auto merge of #22808 - servo:jdm-patch-10, r=asajeffrey
Avoid locking network timing data unnecessarily.
<!-- 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/22808)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script/script_thread.rs')
0 files changed, 0 insertions, 0 deletions