diff options
author | bors-servo <lbergstrom+bors@mozilla.com> | 2018-05-05 12:54:15 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-05-05 12:54:15 -0400 |
commit | 719e4e37e9d38df0bc646d6b04abec138e4d20b4 (patch) | |
tree | 6aae15771bda5dcb7002263674c3fc042ac1f0ed /python/servo/bootstrap_commands.py | |
parent | f108b12fc45983b561f8e0db1771db2392dfd0ed (diff) | |
parent | 16815bf97fd5a6d84ff03faa8cfaffddd24ca9ef (diff) | |
download | servo-719e4e37e9d38df0bc646d6b04abec138e4d20b4.tar.gz servo-719e4e37e9d38df0bc646d6b04abec138e4d20b4.zip |
Auto merge of #20751 - emilio:gecko-sync, r=emilio
style: Sync changes from mozilla-central.
See each 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/20751)
<!-- Reviewable:end -->
Diffstat (limited to 'python/servo/bootstrap_commands.py')
0 files changed, 0 insertions, 0 deletions