Skip to content

Eliminate use of ctor#241

Merged
smoelius merged 3 commits into
mainfrom
get-rid-of-ctor
May 12, 2026
Merged

Eliminate use of ctor#241
smoelius merged 3 commits into
mainfrom
get-rid-of-ctor

Commits

Commits on May 12, 2026