debbugs: Add filter-index.
authorRicardo Wurmus <rekado@elephly.net>
Sun, 10 May 2020 08:25:23 +0000 (10:25 +0200)
committerRicardo Wurmus <rekado@elephly.net>
Sun, 10 May 2020 08:25:23 +0000 (10:25 +0200)
commit02736dc1ff80db306394edd9fdb3a200fd677f71
tree734df2bb1b0b137e0aeaf32c53959290e8ad740c
parent513ff3928725da18f9fa4123be43ef12a63a07c2
debbugs: Add filter-index.

* mumi/debbugs.scm (filter-index): New procedure.
mumi/debbugs.scm