xapian: Collapse results for merged issues.
authorRicardo Wurmus <rekado@elephly.net>
Thu, 14 May 2020 07:28:15 +0000 (09:28 +0200)
committerRicardo Wurmus <rekado@elephly.net>
Thu, 14 May 2020 07:28:15 +0000 (09:28 +0200)
commite4fc77b09802ee4eb8487c954d1b3847321e8349
tree8a1140e4394bcd57658fcf5956a7f3738d6f80a6
parent0d73a23c919c78549d36f32d715afc4f1fe8c4a0
xapian: Collapse results for merged issues.
mumi/xapian.scm