diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2019-01-06 11:28:11 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-01-06 11:28:11 +0100 |
| commit | 94f8adb5aab88517db8e5dc76f1eb149921886de (patch) | |
| tree | d442ced6659720260f13538fbc9e6d7dbfa9caee /executor | |
| parent | 53be0a378fb4c5b60751659423b98bef7d502025 (diff) | |
docs/linux: update places with reported bugs
Mention that reported bugs can be on syzkaller-bugs and and syzbot dashboard.
Diffstat (limited to 'executor')
0 files changed, 0 insertions, 0 deletions