6323bb0d97
This new snapshot mostly brings a change to TopFieldCollector which can now early terminate collection when trackTotalHits is `false`. As a follow-up, we should replace our usage of `EarlyTerminatingSortingCollector` with this new option. |
||
---|---|---|
.. | ||
src | ||
build.gradle |