diff options
author | Adin Scannell <ascannell@google.com> | 2021-10-18 11:07:11 -0700 |
---|---|---|
committer | gVisor bot <gvisor-bot@google.com> | 2021-10-18 11:09:39 -0700 |
commit | 4f6cda4d0ed8694a1b09d27a039eb4e57432bc75 (patch) | |
tree | 33fce0369425e33bce8a4fd2664b69cc04d8e3ce /tools/installers | |
parent | ae8f93e555cdce4b8d423342011b1043f1b470a6 (diff) |
Support distinction for RWMutex and read-only locks.
Fixes #6590
PiperOrigin-RevId: 404007524
Diffstat (limited to 'tools/installers')
0 files changed, 0 insertions, 0 deletions