diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2019-12-14 10:42:16 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-12-14 10:42:16 -0500 |
| commit | 226b341078e5d538293408a2a74e4c308bdfc077 (patch) | |
| tree | 03113218cec27ea9f64aacf7151465217a14ea84 /python/servo/bootstrap.py | |
| parent | 3f663d7ab216a841e6250b5b10ce64d34caff97c (diff) | |
| parent | 9b153ac18aabab5eac9343c544c97fa6007eb55a (diff) | |
| download | servo-226b341078e5d538293408a2a74e4c308bdfc077.tar.gz servo-226b341078e5d538293408a2a74e4c308bdfc077.zip | |
Auto merge of #25205 - shnmorimoto:fix_performance_interface_timing_member, r=jdm
Fix performance interface timing member
<!-- Please describe your changes on the following line: -->
---
<!-- Thank you for contributing to Servo! Please replace each `[ ]` by `[X]` when the step is complete, and replace `___` with appropriate data: -->
- [x] `./mach build -d` does not report any errors
- [x] `./mach test-tidy` does not report any errors
- [x] These changes fix #23330 and #24468 (GitHub issue number if applicable)
<!-- Either: -->
- [x] There are tests for these changes
<!-- Also, please make sure that "Allow edits from maintainers" checkbox is checked, so that we can help you if you get stuck somewhere along the way.-->
<!-- Pull requests that do not address these steps are welcome, but they will require additional verification as part of the review process. -->
Diffstat (limited to 'python/servo/bootstrap.py')
0 files changed, 0 insertions, 0 deletions