diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2019-03-31 10:27:13 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-03-31 10:27:13 -0400 |
| commit | 31c02614beb94207237865e58587f75a98b5c9b1 (patch) | |
| tree | dd84b51594d4c86b166ed1eb48bbdc4fc7ecd49b /components/script/dom/htmldataelement.rs | |
| parent | 14304b23a95c18a5c6cd688b206f0ee3e49bcebb (diff) | |
| parent | 0780298b80fac803e9f57f8f839bbe4b3c36c388 (diff) | |
| download | servo-31c02614beb94207237865e58587f75a98b5c9b1.tar.gz servo-31c02614beb94207237865e58587f75a98b5c9b1.zip | |
Auto merge of #23139 - gterzian:bounded_profiler_with_buffer_feedback, r=jdm
Bound sampler buffer, add length feedback message, fix intermittence in test
<!-- 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: -->
- [ ] `./mach build -d` does not report any errors
- [ ] `./mach test-tidy` does not report any errors
- [ ] These changes fix #23109 (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/23139)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script/dom/htmldataelement.rs')
0 files changed, 0 insertions, 0 deletions