diff options
| author | Jonas Schievink <[email protected]> | 2021-04-02 19:46:37 +0100 |
|---|---|---|
| committer | Jonas Schievink <[email protected]> | 2021-04-02 19:46:37 +0100 |
| commit | e73d26fa62c61602e0bceb7d9cf7c661badee57b (patch) | |
| tree | 8541571011ca81bcb2536374f43873fdc049295e /.github | |
| parent | 0129628a0f497834a544fa981078b43321c9020a (diff) | |
Stop using an upgradeable read lock in interning
Only one upgradeable read lock can be handed out at the same time, and
we never acquire a non-upgradeable read lock, so this has no benefit
over just using a write lock in the first place.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions