diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2018-09-03 08:12:22 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-09-03 08:12:22 -0400 |
| commit | d8446f85a95723dec3a18b05bdd30514a57bddab (patch) | |
| tree | 3e92a0a5fed4315519a34e8cef33c54840ada0d4 /components/script/task_source/websocket.rs | |
| parent | eb6aec37e9bde5aba2a3dc6b6ce5374579219f31 (diff) | |
| parent | 1254cbf313243e8879a464538a5c78383ba3bc8b (diff) | |
| download | servo-d8446f85a95723dec3a18b05bdd30514a57bddab.tar.gz servo-d8446f85a95723dec3a18b05bdd30514a57bddab.zip | |
Auto merge of #21588 - emilio:gecko-sync, r=emilio
style: Sync changes from mozilla-central.
See each individual commit for details.
https://bugzilla.mozilla.org/show_bug.cgi?id=1488172
<!-- 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/21588)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script/task_source/websocket.rs')
0 files changed, 0 insertions, 0 deletions