diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2018-01-08 13:39:47 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-01-08 13:39:47 +0100 |
| commit | 11dc42f69d9a72d318a45c8b068deddd8541daee (patch) | |
| tree | 2f5ded265fe641d84dcda1537adf1487d6683f6f /docs/linux/found_bugs.md | |
| parent | cb9c49e8598a5449263f1dac03cb0a58013f246b (diff) | |
dashboard/app: fix reporting filter skipping
We must not skip reporting if we already reported a bug to it.
This leaves orphaned bugs.
Diffstat (limited to 'docs/linux/found_bugs.md')
0 files changed, 0 insertions, 0 deletions