tree 683607a1e3dab5d29e18b77d0c4705632b74e117
parent 71211a8cdfae8d528130cedf3e67d21e130ee8a0
parent 63dbdfda13daa78a26f1c2e77b0a4bfd5a35df8d
author Florian Zschocke <fzs@users.noreply.github.com> 1489840645 +0100
committer GitHub <noreply@github.com> 1489840645 +0100

Merge pull request #1168 from lucamilanesio/bump-to-lucene-5.5.2

Bump to Lucene 5.5.2

The new code will create Lucene indices in a new directory named after codec and index version.
This provides for easy and safe up- and downgrades. But it also means that the old indices will
stick around on disk. What this version is missing is a kind of "garbage collection" deleting old, unused
indices when they are no longer needed. That task needs to be done manually currently. We should
at leas at some point provide a script for it.