Skip to content

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

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

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

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

4fdb61b
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.