diff options
| author | Tamir Duberstein <tamird@google.com> | 2021-01-12 18:42:18 -0800 |
|---|---|---|
| committer | gVisor bot <gvisor-bot@google.com> | 2021-01-12 18:47:10 -0800 |
| commit | 680398ab76c92c88674c5770015fd100b33e137a (patch) | |
| tree | f2e7e331770b3031e16e53aa1fe9c0b66d0efd32 /tools | |
| parent | 626a8ca22590d78dd4d3dd319cf7f98770924b94 (diff) | |
Remove unnecessary closure
PiperOrigin-RevId: 351491836
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions