merge queue: checking #520 on main (9596614) - #521

Closed

mergify[bot] wants to merge 2 commits into

mainfrom

mergify/merge-queue/6fff68edd2

Commits on Sep 13, 2026

cat-mode: relabeling text away from a checker is the fifth way past a block

EdbertChan
and
claude
committed
714e424
Merge of #520
mergify[bot]
committed
15b36d9