Auto merge of #121177 - joboet:move_pal_locks, r=ChrisDenton

Move locks to `sys`

Part of #117276.

r? `@ChrisDenton`
This commit is contained in:
bors 2024-02-19 18:04:28 +00:00
commit 216686b694

Diff content is not available