diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2019-03-01 11:34:55 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-03-01 11:34:55 +0100 |
| commit | b32a35fd830d50614a0cd56b8c3b91a393c5b734 (patch) | |
| tree | e467d5ceb61a71e5ed3b40796fbe00b18a837d92 /executor/executor.cc | |
| parent | 14eb6e7f57e642bda394fa71a0690c0410760000 (diff) | |
docs/akaros: mention syzbot in found bugs
Diffstat (limited to 'executor/executor.cc')
0 files changed, 0 insertions, 0 deletions