diff options
| author | Googler <noreply@google.com> | 2019-05-08 14:39:08 -0700 |
|---|---|---|
| committer | Shentubot <shentubot@google.com> | 2019-05-08 14:40:09 -0700 |
| commit | c3b6d4587edc1c04c86c2504b68a41b8c77fd202 (patch) | |
| tree | 79a6ed8ce32b334037373fb858f6f9b453acb231 /pkg/sentry/kernel/pipe | |
| parent | bfd9f75ba4390de824d2c3d44c15bdca9dd0ff35 (diff) | |
Fix types that are subtly incorrect.
PiperOrigin-RevId: 247294093
Change-Id: Iac8c76e50bbc15c240ae7da7f5786f9968e7057c
Diffstat (limited to 'pkg/sentry/kernel/pipe')
0 files changed, 0 insertions, 0 deletions