Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-06-06 16:45:39 +00:00
Code Issues Projects Releases Packages Wiki Activity

Upgrade parking_lot to 0.8.

Browse source
This commit is contained in:
Josh Matthews 2019-05-25 07:10:36 -04:00
parent e2cfe5d05f
commit 2875e5ccb3
7 changed files with 58 additions and 12 deletions
Download patch file Download diff file Expand all files Collapse all files

4
servo-tidy.toml
View file

@ -41,9 +41,13 @@ packages = [
"digest",
"generic-array",
"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",
"rand",
"rand_core",
"scopeguard",
"unicase",
]
# Files that are ignored for all tidy and lint checks.