diff options
author | Jon Budd <jonbudd@google.com> | 2020-04-13 11:01:02 -0700 |
---|---|---|
committer | gVisor bot <gvisor-bot@google.com> | 2020-04-13 11:02:14 -0700 |
commit | 6a4d17a31dc209afbbca66e871a7c6dc299c167b (patch) | |
tree | a045868a3b2d80e70212c68f3b9751c610f572ca /pkg/sentry/kernel/task_futex.go | |
parent | 445c366581637b64336a18d69519faee5a444f5d (diff) |
Remove obsolete TODOs for b/38173783
The comments in the ticket indicate that this behavior
is fine and that the ticket should be closed, so we shouldn't
need pointers to the ticket.
PiperOrigin-RevId: 306266071
Diffstat (limited to 'pkg/sentry/kernel/task_futex.go')
0 files changed, 0 insertions, 0 deletions