diff options
| author | Kevin Krakauer <krakauer@google.com> | 2021-02-11 15:59:20 -0800 |
|---|---|---|
| committer | gVisor bot <gvisor-bot@google.com> | 2021-02-11 16:01:43 -0800 |
| commit | c39284f457383dabd52f468a10072ca6d2211cbb (patch) | |
| tree | dc3cf96f9608670971e10e0985616b3d2583fd83 /pkg/sentry/fsimpl/devpts/BUILD | |
| parent | 2129dfff61526879ca6a681e7a498d1e0d9ace34 (diff) | |
Let sentry understand tcpip.ErrMalformedHeader
Added a LINT IfChange/ThenChange check to catch this in the future.
PiperOrigin-RevId: 357077564
Diffstat (limited to 'pkg/sentry/fsimpl/devpts/BUILD')
0 files changed, 0 insertions, 0 deletions