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

gunbai-bot[bot] merged 7 commits into
mainfrom
session/cool-koi-623

Commits

  1. Commits on Sep 3, 2026