Merge branch 'uppinder-diversify-LC'
commitfd571b22835faa66a2e26612ddc08a027cdc7298
authorOlly Betts <olly@survex.com>
Wed, 25 Jul 2018 05:30:58 +0000 (25 17:30 +1200)
committerOlly Betts <olly@survex.com>
Wed, 25 Jul 2018 05:30:58 +0000 (25 17:30 +1200)
treebf0e24182d2bfb42c43f64eedee7c95f866aaaf8
parent277433426e8f57fd902453874a10bbd4c7d78f64
parent0b8fca6c6c7061b9afcce5e9e8fbd015008f131d
Merge branch 'uppinder-diversify-LC'

Closes https://github.com/xapian/xapian/pull/208