diff options
| author | bors-servo <servo-ops@mozilla.com> | 2021-08-13 23:22:01 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-08-13 23:22:01 -0400 |
| commit | 3a56027cf1fd75aff6797f4b98f8973b47f8e0cd (patch) | |
| tree | cb737fd14635cb29079a45f0f1d311f0ce73e7c1 /python | |
| parent | cc1f89863ce0e93ff7ce4f4855bd888df67a51fb (diff) | |
| parent | 7bc6742a45f1ee031ece3f0a566661735e949a7b (diff) | |
| download | servo-3a56027cf1fd75aff6797f4b98f8973b47f8e0cd.tar.gz servo-3a56027cf1fd75aff6797f4b98f8973b47f8e0cd.zip | |
Auto merge of #28564 - bjorn3:patch-1, r=jdm
Update script_plugin for rust-lang/rust#85296
This will update the script_plugin for the plugin interface changes in rust-lang/rust#85296.
---
<!-- 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 #___ (GitHub issue number if applicable)
<!-- Either: -->
- [ ] There are tests for these changes OR
- [x] These changes do not require tests because it is a fix for rustc changes.
Diffstat (limited to 'python')
0 files changed, 0 insertions, 0 deletions