debbugs: Cache result of extract-bug-numbers.
authorRicardo Wurmus <rekado@elephly.net>
Sun, 10 May 2020 09:24:40 +0000 (11:24 +0200)
committerRicardo Wurmus <rekado@elephly.net>
Sun, 10 May 2020 09:24:40 +0000 (11:24 +0200)
commit8a0748bb55a5f3b702d025fd0f1b015ff967441e
tree8fafe5ef7f4e18956b31e5b42e4f39bcf40ba959
parentf47e75e5665431f146c0440f4d2fb5115c5554c9
debbugs: Cache result of extract-bug-numbers.
mumi/debbugs.scm