mirror of
https://github.com/servo/servo.git
synced 2025-06-06 16:45:39 +00:00
Auto merge of #29931 - mrobinson:update-uuid, r=jdm
Update uuid This is required to use the new version of gleam and update ipc-channels without duplicating the dependency in the future. <!-- 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] There are tests for these changes <!-- 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. -->
This commit is contained in:
commit
725f95e69a
8 changed files with 34 additions and 25 deletions
|
@ -72,6 +72,9 @@ packages = [
|
|||
|
||||
# Duplicated by winit/surfman update.
|
||||
"raw-window-handle",
|
||||
|
||||
# Temporarily duplicated until ipc-channels and gleam can be upgrded.
|
||||
"uuid",
|
||||
]
|
||||
# Files that are ignored for all tidy and lint checks.
|
||||
files = [
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue