Skip to content

Serialization: rename for clarity: we're dealing with kinds here#348

Merged
mpollmeier merged 1 commit intomasterfrom
michael/rename-for-clarity
Oct 6, 2025
Merged

Serialization: rename for clarity: we're dealing with kinds here#348
mpollmeier merged 1 commit intomasterfrom
michael/rename-for-clarity

Commits

Commits on Sep 30, 2025