diff options
author | bors-servo <lbergstrom+bors@mozilla.com> | 2017-11-01 16:56:06 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-11-01 16:56:06 -0500 |
commit | fa319170ebb34afcdfc120b7c3e47fe5b1c21210 (patch) | |
tree | 16be410a0f82263d2a86e871c5fa88646099d252 /python/servo/testing_commands.py | |
parent | 1e0fd7da3050208621dd08044bb202570638fb3e (diff) | |
parent | 0a09ee5cd863aebcffa648398ca7c1b027d44ae0 (diff) | |
download | servo-fa319170ebb34afcdfc120b7c3e47fe5b1c21210.tar.gz servo-fa319170ebb34afcdfc120b7c3e47fe5b1c21210.zip |
Auto merge of #19077 - avadacatavra:floats-are-the-actual-worst, r=jdm
changed f64 to u64 for navigation start timing until it had to be float
<!-- 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 #18997 (github issue number if applicable).
<!-- Either: -->
- [ ] There are tests for these changes OR
- [ ] These changes do not require tests because _____
<!-- 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. -->
<!-- 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/19077)
<!-- Reviewable:end -->
Diffstat (limited to 'python/servo/testing_commands.py')
0 files changed, 0 insertions, 0 deletions