diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2019-12-10 12:20:50 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2019-12-10 12:35:10 +0100 |
| commit | f9f80dd43751ab5172bf048d3213ba2ba73b77e4 (patch) | |
| tree | 2e1396e667fb1d9156edab2d1cf8165c0cc11780 /executor | |
| parent | c2c19edbcd769ea7448db7e6bbbd695e5f16a979 (diff) | |
pkg/report: use --git-min-percent=15 for get_maintainer.pl
Update #1441
Diffstat (limited to 'executor')
0 files changed, 0 insertions, 0 deletions