diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2019-05-08 19:09:43 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-05-08 19:09:43 -0400 |
| commit | cfe64a26359ea9e7ccb4b1b0e831165674588541 (patch) | |
| tree | fd30d41bf00825ef344ef69438d02d42f7d95d64 /components/script/dom/htmloptionscollection.rs | |
| parent | f821fc653388c0e865fb979ba7d0d8c4d52c0eb6 (diff) | |
| parent | a9d4429dbfdc438baa3af3e01713e0c672a91613 (diff) | |
| download | servo-cfe64a26359ea9e7ccb4b1b0e831165674588541.tar.gz servo-cfe64a26359ea9e7ccb4b1b0e831165674588541.zip | |
Auto merge of #23340 - asajeffrey:gc-threshold-parameters-are-percentages, r=jdm
Express GC thresholds as percentages
<!-- Please describe your changes on the following line: -->
According to https://developer.mozilla.org/en-US/docs/Mozilla/Projects/SpiderMonkey/JSAPI_reference/JS_GetGCParameter, the GC thresholds are percentages.
---
<!-- 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 #23076
- [X] These changes do not require tests because we don't test prefs.json
<!-- 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/23340)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script/dom/htmloptionscollection.rs')
0 files changed, 0 insertions, 0 deletions