mirror of
https://github.com/servo/servo.git
synced 2025-08-06 06:00:15 +01:00
Update parking_lot.
This commit is contained in:
parent
d9a1a9ddc1
commit
a24a4f0608
8 changed files with 14 additions and 14 deletions
|
@ -32,7 +32,7 @@ malloc_size_of = { path = "../malloc_size_of" }
|
|||
metrics = { path = "../metrics" }
|
||||
msg = { path = "../msg" }
|
||||
net_traits = { path = "../net_traits" }
|
||||
parking_lot = { version = "0.10" }
|
||||
parking_lot = { version = "0.11" }
|
||||
profile_traits = { path = "../profile_traits" }
|
||||
range = { path = "../range" }
|
||||
rayon = "1"
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue