mirror of
https://github.com/servo/servo.git
synced 2025-08-03 20:50:07 +01:00
fixup! Update parking_lot.
This commit is contained in:
parent
c52f0e8a85
commit
d1c1d24880
1 changed files with 1 additions and 1 deletions
|
@ -31,7 +31,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" }
|
||||
script = { path = "../script" }
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue