diff options
| author | Jon Marius Venstad <jonmv@users.noreply.github.com> | 2019-05-14 18:14:20 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-05-14 18:14:20 +0200 |
| commit | 67f55d7c0c14fee4830a010281fc0c2c752c1d8a (patch) | |
| tree | cb8b0d569dd1062f4b3282a4da3375b64fee55d5 /searchcorespi | |
| parent | 4f98846ac343df70187054f53e3b93a9f5deac4c (diff) | |
| parent | 99487b06f0d9d4761947c1e1f49b2618a4ce2f4e (diff) | |
Merge pull request #9407 from vespa-engine/vekterli/disable-bucket-db-pruning-optimization
Disable bucket DB pruning elision optimization for now
Diffstat (limited to 'searchcorespi')
0 files changed, 0 insertions, 0 deletions