diff options
author | Ricardo Wurmus <rekado@elephly.net> | 2020-05-10 10:25:41 +0200 |
---|---|---|
committer | Ricardo Wurmus <rekado@elephly.net> | 2020-05-10 10:25:41 +0200 |
commit | 66e024d07d67ef4ed1bad72ea03011e6c66427d5 (patch) | |
tree | 73c89246f53f7ba8b9359c3748419ca53cd84acf /assets/js/sort-table.js | |
parent | 02736dc1ff80db306394edd9fdb3a200fd677f71 (diff) |
debbugs: Express extract-bug-numbers in terms of filter-index.
* mumi/debbugs.scm (extract-bug-numbers): Rewrite in terms of
filter-index.
Diffstat (limited to 'assets/js/sort-table.js')
0 files changed, 0 insertions, 0 deletions