diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2020-05-10 11:24:40 +0200 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2020-05-10 11:24:40 +0200 |
| commit | 8a0748bb55a5f3b702d025fd0f1b015ff967441e (patch) | |
| tree | 8fafe5ef7f4e18956b31e5b42e4f39bcf40ba959 /pre-inst-env.in | |
| parent | f47e75e5665431f146c0440f4d2fb5115c5554c9 (diff) | |
debbugs: Cache result of extract-bug-numbers.
Diffstat (limited to 'pre-inst-env.in')
0 files changed, 0 insertions, 0 deletions