port some CoCos from extended to default Checker#46

Merged

mathias-pfeiffer merged 1 commit intorelease/7.8.xfrom

port-some-extended-CoCos-to-default

Jan 18, 2026

Commits on Jan 17, 2026

CoCos to default and version bump
MKZaito
committed