Skip to content

floor_cut_heal: the SupersededByHealedHead exit is right, its stated mechanism is false, and the clause needed scoping - #10191

Merged
gunbai-bot[bot] merged 7 commits into
mainfrom
session/cool-koi-623
Sep 3, 2026
Merged

floor_cut_heal: the SupersededByHealedHead exit is right, its stated mechanism is false, and the clause needed scoping#10191
gunbai-bot[bot] merged 7 commits into
mainfrom
session/cool-koi-623

Merge remote-tracking branch 'origin/main' into session/cool-koi-623

c217dfc
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar