Skip to content
This repository was archived by the owner on Feb 16, 2025. It is now read-only.

Update surfman to 0.6 #203

Merged
merged 1 commit into from
Feb 24, 2023
Merged

Update surfman to 0.6 #203

merged 1 commit into from
Feb 24, 2023

Conversation

mukilan
Copy link
Member

@mukilan mukilan commented Feb 24, 2023

To complete the update of winit used by Servo (servo/servo#29382), a new version 0.6.0 of surfman has been published to crates.io (servo/surfman#249). To address compilation errors in Servo about mismatched types due to duplicated versions of surfman, we will need to update all references in Servo to the same version (0.6.0).

Signed-off-by: Mukilan Thiyagarajan <[email protected]>
@mukilan mukilan requested review from mrobinson and jdm February 24, 2023 03:02
@jdm
Copy link
Member

jdm commented Feb 24, 2023

@bors-servo r+

@bors-servo
Copy link
Contributor

📌 Commit 1cd0922 has been approved by jdm

@bors-servo
Copy link
Contributor

⌛ Testing commit 1cd0922 with merge a5824ed...

@bors-servo
Copy link
Contributor

☀️ Test successful - checks-github
Approved by: jdm
Pushing a5824ed to master...

1 similar comment
@bors-servo
Copy link
Contributor

☀️ Test successful - checks-github
Approved by: jdm
Pushing a5824ed to master...

@bors-servo bors-servo merged commit a5824ed into servo:master Feb 24, 2023
atomgardner added a commit to atomgardner/servo that referenced this pull request Feb 24, 2023
Commit a5824ed (servo/webxr#203) bumped surfman to 0.6. This commit
bumps servo's webxr dep, letting all servo deps use the same version of
surfman and winit.
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants