Skip to content

move extra inside of state#1863

Merged
davidhewitt merged 1 commit intomainfrom
dh/ser-state-extra
Oct 29, 2025
Merged

move `extra` inside of `state`#1863
davidhewitt merged 1 commit intomainfrom
dh/ser-state-extra

Commits

Commits on Oct 27, 2025