Skip to content

Fix cancellation propagation through plain search - #5428

Merged
Widthdom merged 3 commits into
mainfrom
fix-issue5421
Sep 23, 2026
Merged

Widthdom merged 3 commits into
mainfrom
fix-issue5421

Commits

Commits on Sep 22, 2026

Commits on Sep 23, 2026