`Column`: do not store `col_id` -- its already inferrable by `Header.fields`
Centril opened this issue · comments
Remove Column.col_id
as it can be inferred from the index in Header.fields
.
cc #1113
cc @joshua-spacetime
Multiplayer at the speed of light
Centril opened this issue · comments
Remove Column.col_id
as it can be inferred from the index in Header.fields
.
cc #1113
cc @joshua-spacetime