Implement ordinality traits for HeaderCheckpoint#545

rustaceanrob merged 1 commit into2140-dev:master2140-dev/kyoto:masterfrom

rustaceanrob:26-3-6-cp-ordrustaceanrob/kyoto:26-3-6-cp-ordCopy head branch name to clipboard