diff options
| author | Kevin Krakauer <krakauer@google.com> | 2019-03-14 10:45:54 -0700 |
|---|---|---|
| committer | Shentubot <shentubot@google.com> | 2019-03-15 13:57:24 -0700 |
| commit | 6ee3d6614b3616a62e177630dfd152ab61211ba2 (patch) | |
| tree | 843111f4dd962378a80fcb45eb0a89653da99eec /WORKSPACE | |
| parent | 5496be7c5ddedd6ec03004143501acb225eda357 (diff) | |
Fix flaky RawPingAndSockets (and MultipleSocketsRecieve just in case).
PiperOrigin-RevId: 238474202
Change-Id: Ib8c431e973e8cf1e1c8ee2f8c1978ddb8e88b0b8
Diffstat (limited to 'WORKSPACE')
0 files changed, 0 insertions, 0 deletions