Skip to content

Fix serialization of Names#8486

Merged
flobernd merged 1 commit intomainfrom
fix-names-serialization
Apr 8, 2025
Merged

Fix serialization of `Names`#8486
flobernd merged 1 commit intomainfrom
fix-names-serialization

Commits

Commits on Apr 8, 2025