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

  1. Commits on Sep 22, 2026

  2. Commits on Sep 23, 2026