debbugs: Express extract-bug-numbers in terms of filter-index.
authorRicardo Wurmus <rekado@elephly.net>
Sun, 10 May 2020 08:25:41 +0000 (10:25 +0200)
committerRicardo Wurmus <rekado@elephly.net>
Sun, 10 May 2020 08:25:41 +0000 (10:25 +0200)
commit66e024d07d67ef4ed1bad72ea03011e6c66427d5
tree73c89246f53f7ba8b9359c3748419ca53cd84acf
parent02736dc1ff80db306394edd9fdb3a200fd677f71
debbugs: Express extract-bug-numbers in terms of filter-index.

* mumi/debbugs.scm (extract-bug-numbers): Rewrite in terms of
filter-index.
mumi/debbugs.scm