diff options
| author | Michael Tuexen <tuexen@freebsd.org> | 2019-01-17 23:11:37 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2019-01-18 13:20:33 +0100 |
| commit | 2103a236f19bebcfb1c0cff08feea6e93b3af7b3 (patch) | |
| tree | bc55fdb28196e3738a281ec3e1f6c5b8166a1c36 /executor | |
| parent | 5bf17c30b217c1b3fbcec5c292e7f22d5df24918 (diff) | |
syz-manager: provide config name in Stats
Diffstat (limited to 'executor')
0 files changed, 0 insertions, 0 deletions