chore: remove dead lock file (#11380)

This commit is contained in:
Nikolay Vitkov 2023-11-13 16:30:36 +01:00 committed by GitHub
parent ecc4239acc
commit 9c45c537f6
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

File diff suppressed because it is too large Load Diff