mirror of
https://github.com/servo/servo.git
synced 2025-08-06 14:10:11 +01:00
Auto merge of #20378 - Eijebong:parking_lot, r=jdm
Bump parking_lot to 0.5 <!-- 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/20378) <!-- Reviewable:end -->
This commit is contained in:
commit
1c2bed5a69
7 changed files with 19 additions and 20 deletions
|
@ -67,7 +67,7 @@ msg = {path = "../msg"}
|
|||
net_traits = {path = "../net_traits"}
|
||||
num-traits = "0.1.32"
|
||||
offscreen_gl_context = { version = "0.15", features = ["serde"] }
|
||||
parking_lot = "0.4"
|
||||
parking_lot = "0.5"
|
||||
phf = "0.7.18"
|
||||
profile_traits = {path = "../profile_traits"}
|
||||
ref_filter_map = "1.0.1"
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue