diff options
| author | bors-servo <infra@servo.org> | 2023-01-18 18:05:12 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-01-18 18:05:12 +0100 |
| commit | f70857906d228f5db6a808c8d9c28a7bad0684bb (patch) | |
| tree | a5fcef767a1670502b7c291d78d930c3fd272f83 /python/servo/bootstrap_commands.py | |
| parent | c32f11caf341d7879614f1ac4c4e31a6a66df35f (diff) | |
| parent | a9c0479a48d6a11199cc64512ee77513c66de029 (diff) | |
| download | servo-f70857906d228f5db6a808c8d9c28a7bad0684bb.tar.gz servo-f70857906d228f5db6a808c8d9c28a7bad0684bb.zip | |
Auto merge of #29250 - fabricedesre:no-deprecated-symbol-to-jsid, r=delan
Replace use of the deprecated RUST_SYMBOL_TO_JSID by SymbolId
<!-- Please describe your changes on the following line: -->
A simple replacement of a deprecated function, according to changes in https://github.com/servo/mozjs/pull/315
That removes the only build warning I saw when doing a clobber.
---
<!-- 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
- [ ] These changes fix #___ (GitHub issue number if applicable)
<!-- Either: -->
- [ ] There are tests for these changes OR
- [ X] These changes do not require tests because no behavior change is expected.
<!-- 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_commands.py')
0 files changed, 0 insertions, 0 deletions