diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2018-01-18 09:57:11 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-01-18 10:01:26 +0100 |
| commit | 2666e00902033fd61964c24f3444b94cf25cb6de (patch) | |
| tree | c1ea0d8347ce7b65f8f97c1bbff4312159a18ef5 /executor/common_linux.h | |
| parent | 0d1e95d2bafd3fb8cf589e3c6b9f5a116fdce673 (diff) | |
dashboard/app: restructure email text
Reproducers are more important. .config is less important.
Reorder lines in that order.
As suggested by Theodore Ts'o in
https://groups.google.com/d/msg/syzkaller/5hjgr2v_oww/fn5QW6dvDQAJ
Diffstat (limited to 'executor/common_linux.h')
0 files changed, 0 insertions, 0 deletions