Serialization got broken by previous PR #54

Merged
uwiger merged 1 commits from uw-fix-serialization into master 2025-04-29 17:22:23 +09:00