Skip to content

Use newtype deriving for newtypes#309

Merged
phadej merged 1 commit intomasterfrom gndJun 9, 2024

Commits

Commits on Jun 9, 2024