Use CollectorManager instead of now deprecated Collector API in search#65

Merged

wardle merged 3 commits intomainfrom collector-manager

Mar 26, 2024

+71-6

Commits on Mar 20, 2024

Use Lucene CollectorManager and not now deprecated Collector in search
wardle
committed

Commits on Mar 24, 2024

Ensure results the same irrespective of how results collected
wardle
committed

Commits on Mar 26, 2024

Update rich comment code
wardle
committed