merge queue: checking #785 on main (25b70e3) - #929

Closed

mergify[bot] wants to merge 2 commits into

mainfrom

mergify/merge-queue/064fce477d

Commits on Sep 24, 2026

diu-stop: the marker gate reads prose, so a mention is not a use

EdbertChan
and
claude
committed
51ed95a
Merge of #785
mergify[bot]
committed
55fef5e