diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2017-05-31 15:36:51 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-05-31 15:36:51 +0200 |
| commit | a7b334c581618cc4f49401fcf133c710d7a48326 (patch) | |
| tree | bac8ce2734c398fe1c228cb024ca442023016c07 /executor | |
| parent | c4536c1435314a1b2c202ea52c95c6d67251e2cf (diff) | |
| parent | f4a173a718392e6f817009748762b1ebe0204dc6 (diff) | |
Merge pull request #206 from jessfraz/199-unsupported-sandbox
syz-manager: detect sandbox namespace unsupported
Diffstat (limited to 'executor')
0 files changed, 0 insertions, 0 deletions