mirror of
https://github.com/servo/servo.git
synced 2025-08-06 06:00:15 +01:00
Auto merge of #24129 - Eijebong:parking_lot, r=jdm
Deduplicate parking_lot by updating it to 0.9 <!-- 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/24129) <!-- Reviewable:end -->
This commit is contained in:
commit
524e135573
10 changed files with 155 additions and 196 deletions
|
@ -78,7 +78,7 @@ mime_guess = "2.0.0-alpha.6"
|
|||
msg = {path = "../msg"}
|
||||
net_traits = {path = "../net_traits"}
|
||||
num-traits = "0.2"
|
||||
parking_lot = "0.8"
|
||||
parking_lot = "0.9"
|
||||
percent-encoding = "2.0"
|
||||
phf = "0.7"
|
||||
pixels = {path = "../pixels"}
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue