Skip to content

Feat/reduce serialized datastructure sizes#484

Merged
micheleriva merged 4 commits intomainfrom feat/reduce-serialized-datastructure-sizesSep 19, 2023