diff options
author | bors-servo <lbergstrom+bors@mozilla.com> | 2019-03-27 12:39:42 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-03-27 12:39:42 -0400 |
commit | 864f855850093f9d69f76376a79180a22ee4ad11 (patch) | |
tree | e67d55a74725e8e7174c27b737f6c9d41e81bfa1 /python/servo/bootstrap.py | |
parent | 3e81a5afe938570ee4a0321e2c0269ed582e3adf (diff) | |
parent | 1f28a486e3c713e61f69d204a74efe3465c7a1e0 (diff) | |
download | servo-864f855850093f9d69f76376a79180a22ee4ad11.tar.gz servo-864f855850093f9d69f76376a79180a22ee4ad11.zip |
Auto merge of #23108 - emilio:gecko-sync, r=emilio
style: Sync changes from mozilla-central.
See each individual commit 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/23108)
<!-- Reviewable:end -->
Diffstat (limited to 'python/servo/bootstrap.py')
0 files changed, 0 insertions, 0 deletions