merge queue: checking #738 on main (d5803c7) - #760

Closed

mergify[bot] wants to merge 2 commits into

mainfrom

mergify/merge-queue/09b8750710

Commits on Sep 17, 2026

Reconcile declared intent, code, and result when finishing a merge

EdbertChan
and
claude
committed
937de7d
Merge of #738
mergify[bot]
committed
9594bbb