Skip to content

Avoid content-bearing sorts in line-local find - #5425

Merged
Widthdom merged 4 commits into
mainfrom
fix-issue5415
Sep 23, 2026
Merged

Widthdom merged 4 commits into
mainfrom
fix-issue5415

Commits

Commits on Sep 22, 2026