diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2019-07-23 18:42:00 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-07-23 18:42:00 -0400 |
| commit | 8f7440f36881fa60f4237d0dec8928799a6aa747 (patch) | |
| tree | cfeba6c367447dec9d352abf99a5216b58c93312 /components/script/dom/userscripts.rs | |
| parent | e948c7dcc6d879d550a22daae7b0f120a29847c1 (diff) | |
| parent | 9dc906a633d7ce4e931383f9e0cac30e83b6d188 (diff) | |
| download | servo-8f7440f36881fa60f4237d0dec8928799a6aa747.tar.gz servo-8f7440f36881fa60f4237d0dec8928799a6aa747.zip | |
Auto merge of #23827 - emilio:gecko-sync, r=emilio,manishearth
style: Sync changes from mozilla-central, and update euclid
See individual commits for details.
<!-- 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/23827)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script/dom/userscripts.rs')
0 files changed, 0 insertions, 0 deletions