messages: Simplify search-bugs.
authorRicardo Wurmus <rekado@elephly.net>
Wed, 13 May 2020 09:53:08 +0000 (11:53 +0200)
committerRicardo Wurmus <rekado@elephly.net>
Wed, 13 May 2020 09:53:08 +0000 (11:53 +0200)
commit1b6973cc9e6b4e9354225c57d62448b9b706c639
treef58f1884beff800981d071bf509f8734cd392a5b
parent516c95b6c9c26a7e60699c60d4f9d4c9981e3b60
messages: Simplify search-bugs.

We no longer need to separate between terms and filter sets.
mumi/messages.scm
mumi/web/controller.scm