diff options
| author | Ian Gudger <igudger@google.com> | 2020-01-21 19:23:26 -0800 |
|---|---|---|
| committer | gVisor bot <gvisor-bot@google.com> | 2020-01-21 19:36:12 -0800 |
| commit | 6a59e7f510a7b12f8b3bd768dfe569033ef07d30 (patch) | |
| tree | f3230ab8459461bff3449db656aa9ccff1a7af5e /tools/installers | |
| parent | d0e75f2bef4e16356693987db6ae6bbdce749618 (diff) | |
Rename DowngradableRWMutex to RWmutex.
Also renames TMutex to Mutex.
These custom mutexes aren't any worse than the standard library versions (same
code), so having both seems redundant.
PiperOrigin-RevId: 290873587
Diffstat (limited to 'tools/installers')
0 files changed, 0 insertions, 0 deletions