diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2018-09-05 15:08:41 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-09-05 15:08:41 +0200 |
| commit | 0b937a7eeff7b2840c45515a83458b741f810730 (patch) | |
| tree | 2604992ff666e735264e7c3ce2cddc7acad5714e /executor/common_linux.h | |
| parent | 196410e4f5665d4d2bf6c818d06f1c8d03cfa8cc (diff) | |
dashboard/app: allow renaming/bucketing bugs
Add config hooks that can be used to rename/bucket bugs.
Fixes #677
Diffstat (limited to 'executor/common_linux.h')
0 files changed, 0 insertions, 0 deletions