chiark / gitweb /
Merge branch 'pre-indexv1-fixes' into 'master'
authorHans-Christoph Steiner <hans@guardianproject.info>
Tue, 7 Mar 2017 10:39:41 +0000 (10:39 +0000)
committerHans-Christoph Steiner <hans@guardianproject.info>
Tue, 7 Mar 2017 10:39:41 +0000 (10:39 +0000)
commit19b3d7f00d3bfd2b1e578ea2358507758c7d15dd
tree7428a016f7e771c49b5a3f85ee481b343799f27e
parentd4060bbaa2f9a217ee595e5b72e87335fa93ef8c
parent650d52fb0abfb1e18193d9b06b63b0cec0a71a8b
Merge branch 'pre-indexv1-fixes' into 'master'

pre index-v1 fixes

See merge request !220