This repository was archived by the owner on Dec 16, 2022. It is now read-only.
Rename SpanPruner -> Pruner, remove -infs #1703
Merged
8000