diff options
| -rw-r--r-- | dashboard/app/mail_bug.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dashboard/app/mail_bug.txt b/dashboard/app/mail_bug.txt index db319cc5b..32d712c70 100644 --- a/dashboard/app/mail_bug.txt +++ b/dashboard/app/mail_bug.txt @@ -21,7 +21,7 @@ Direct all questions to syzkaller@googlegroups.com. Please credit me with: Reported-by: syzbot <syzkaller@googlegroups.com> syzbot will keep track of this bug report. -Once a fix for this bug is committed, please reply to this email with: +Once a fix for this bug is merged into any tree, reply to this email with: #syz fix: exact-commit-title{{if or .ReproC .ReproSyz}} If you want to test a patch for this bug, please reply with: #syz test: git://repo/address.git branch |