diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2020-05-14 09:28:15 +0200 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2020-05-14 09:28:15 +0200 |
| commit | e4fc77b09802ee4eb8487c954d1b3847321e8349 (patch) | |
| tree | 8a1140e4394bcd57658fcf5956a7f3738d6f80a6 /etc | |
| parent | 0d73a23c919c78549d36f32d715afc4f1fe8c4a0 (diff) | |
xapian: Collapse results for merged issues.
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions