diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2018-04-01 13:43:18 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-04-01 13:43:18 +0200 |
| commit | 0a78e248b7b6537ccdf66dc8806d76e0a97efe21 (patch) | |
| tree | a3ae744b845eaa684e1dfe03fa579104e2908ef4 /docs | |
| parent | 372799e446d39d1f4c804ef19083bb974f4d3039 (diff) | |
dashboard/app: support undup command
Fixes #520
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/syzbot.md | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/docs/syzbot.md b/docs/syzbot.md index a8bec2ea3..759e358a8 100644 --- a/docs/syzbot.md +++ b/docs/syzbot.md @@ -49,6 +49,10 @@ After sending an email you should get a reply email with results within an hour. ``` #syz dup: exact-subject-of-another-report ``` +- to undo a previous dup command and turn it into an independent bug again: +``` +#syz undup +``` - to mark the bug as a one-off invalid report (e.g. induced by a previous memory corruption): ``` #syz invalid |