Speed up `PositionSublist` by using `Position` to search for first entry#4599

Merged

hulpke merged 2 commits intogap-system:masterfrom hulpke:fixes

Jul 6, 2021

+46-16

Commits on Jul 5, 2021

ENHANCE: PositionSublist uses Position to search for first
hulpke
committed

Commits on Jul 6, 2021

Cleanup code, reduce diff to previous version
fingolfin
committed