diff options
| author | Tamir Duberstein <tamird@google.com> | 2020-04-17 06:40:23 -0700 |
|---|---|---|
| committer | gVisor bot <gvisor-bot@google.com> | 2020-04-17 06:41:38 -0700 |
| commit | b4de018a67f5b5cb5ffc782c915107e1402ed833 (patch) | |
| tree | fb751a37a66ad4a968f29d81b028195ab0373e20 /pkg/sentry/kernel/g3doc | |
| parent | f03996c5e9803934226e4b3a10827501cb936ab9 (diff) | |
Permit setting unknown options
This previously changed in 305699233, but this behaviour turned out to
be load bearing.
PiperOrigin-RevId: 307033802
Diffstat (limited to 'pkg/sentry/kernel/g3doc')
0 files changed, 0 insertions, 0 deletions