diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2017-12-22 19:59:56 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2017-12-22 19:59:56 +0100 |
| commit | 73aba437a774237b1130837b856f3b40b3ec3bf0 (patch) | |
| tree | 900197933b2481cfe4ab1f12a91693ffef617b0b /executor | |
| parent | 8e4090902540da8c6e8fa640a0fc325c29c3efcb (diff) | |
dashboard/app: bump max repros per bug to 10
We badly need repros. Developers complain.
Diffstat (limited to 'executor')
0 files changed, 0 insertions, 0 deletions