diff options
| author | Ghanan Gowripalan <ghanan@google.com> | 2021-02-08 21:39:29 -0800 |
|---|---|---|
| committer | gVisor bot <gvisor-bot@google.com> | 2021-02-08 21:41:17 -0800 |
| commit | 6671a42d605d681e6aa63b610617523ab632e95a (patch) | |
| tree | d0fb60e86220df3aec508fd4e91db4333c12cd5f /website/_includes/header.html | |
| parent | 95500ece56f2acf34fcdc74e420f91beea888ada (diff) | |
Remove unnecessary locking
The thing the lock protects will never be accessed concurrently.
PiperOrigin-RevId: 356423331
Diffstat (limited to 'website/_includes/header.html')
0 files changed, 0 insertions, 0 deletions