diff options
| author | Fabricio Voznika <fvoznika@google.com> | 2021-10-18 11:44:11 -0700 |
|---|---|---|
| committer | gVisor bot <gvisor-bot@google.com> | 2021-10-18 11:46:35 -0700 |
| commit | eafa3f19e4d2c0a490af78dbe77289c7b5edbb76 (patch) | |
| tree | 985fdf5d30ba001d5454c6409a87bbd60b2fe01a /tools/workspace_status.sh | |
| parent | 4f6cda4d0ed8694a1b09d27a039eb4e57432bc75 (diff) | |
Mount namespace can be nil after task exits
Updates #1035
PiperOrigin-RevId: 404017795
Diffstat (limited to 'tools/workspace_status.sh')
0 files changed, 0 insertions, 0 deletions