diff options
author | Ricardo Wurmus <rekado@elephly.net> | 2020-05-13 11:53:08 +0200 |
---|---|---|
committer | Ricardo Wurmus <rekado@elephly.net> | 2020-05-13 11:53:08 +0200 |
commit | 1b6973cc9e6b4e9354225c57d62448b9b706c639 (patch) | |
tree | f58f1884beff800981d071bf509f8734cd392a5b /TODO.org | |
parent | 516c95b6c9c26a7e60699c60d4f9d4c9981e3b60 (diff) |
messages: Simplify search-bugs.
We no longer need to separate between terms and filter sets.
Diffstat (limited to 'TODO.org')
0 files changed, 0 insertions, 0 deletions