Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-09-27 23:30:08 +01:00
Code Issues Projects Releases Packages Wiki Activity

Deduplicate parking_lot and friends by updating it to 0.9

Browse source
This commit is contained in:
Bastien Orivel 2019-09-03 19:46:00 +02:00
parent 4f4e219e54
commit b6cddbebaa
10 changed files with 155 additions and 196 deletions
Download patch file Download diff file Expand all files Collapse all files

4
servo-tidy.toml
View file

@ -35,14 +35,10 @@ rand = [
# Ignored packages with duplicated versions
packages = [
"gl_generator", # https://github.com/servo/servo/pull/23288#issuecomment-494687746
"lock_api",
"nix", # https://github.com/servo/servo/issues/23189#issuecomment-487512605
"parking_lot",
"parking_lot_core",
"proc-macro2",
"quote",
"rand_core",
"scopeguard",
"syn",
"unicode-xid",
]