diff options
| author | Jamie Liu <jamieliu@google.com> | 2020-12-10 15:17:20 -0800 |
|---|---|---|
| committer | gVisor bot <gvisor-bot@google.com> | 2020-12-10 15:19:10 -0800 |
| commit | ed0c7be614eaf1ec19dae90d1516a5e90ec1f793 (patch) | |
| tree | 8ebe68aa76f4aaa9565589965bea35c1ea78c66c /tools/github/reviver/BUILD | |
| parent | 53a95ad0dfe6123df5dd2bef5acfb81ebd796ff6 (diff) | |
Proposal for runtime.DedicateOSThread().
Updates #2184
PiperOrigin-RevId: 346875966
Diffstat (limited to 'tools/github/reviver/BUILD')
0 files changed, 0 insertions, 0 deletions