view/html: list-of-matching-bugs: Use search-widget.
authorRicardo Wurmus <rekado@elephly.net>
Tue, 31 Mar 2020 21:53:22 +0000 (23:53 +0200)
committerRicardo Wurmus <rekado@elephly.net>
Tue, 31 Mar 2020 21:53:22 +0000 (23:53 +0200)
commitbae40a20154bdd7f371b41b766d89c3dbe871e81
tree6afcf2496f7df753bb95f3ba899d794c035b31fb
parentf335e3b97130161171f9164c9d00469ff5088b77
view/html: list-of-matching-bugs: Use search-widget.
mumi/web/view/html.scm