debbugs: Add extract-bug-numbers.
authorRicardo Wurmus <rekado@elephly.net>
Wed, 22 Apr 2020 08:59:52 +0000 (10:59 +0200)
committerRicardo Wurmus <rekado@elephly.net>
Wed, 22 Apr 2020 08:59:52 +0000 (10:59 +0200)
commitf7d53a0bb8cd2ae83c30c03b881e63119da7e76c
tree44031b5cde8646f3db597673b1d1e2c013a46f55
parentcff8dde9a5ed82f1a3084ca7b3f1e22c4701a438
debbugs: Add extract-bug-numbers.
mumi/debbugs.scm