Skip to content

Judge a conclusion against the whole head, and print the head that was judged (#1112) - #1133

Merged
Birfy merged 1 commit into
mainfrom
dev4/fix/1112-guard-snapshot
Oct 25, 2026
Merged

Birfy merged 1 commit into
mainfrom
dev4/fix/1112-guard-snapshot