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 /build-aux | |
| parent | 516c95b6c9c26a7e60699c60d4f9d4c9981e3b60 (diff) | |
messages: Simplify search-bugs.
We no longer need to separate between terms and filter sets.
Diffstat (limited to 'build-aux')
0 files changed, 0 insertions, 0 deletions