Use deferred construction if there are required members (fix #71)#73

Merged

mgravell merged 1 commit intomainfrom issue71

Nov 15, 2023

+386-1

Commits on Nov 15, 2023

Use deferred construction if there are required members (fix #71 )
mgravell
committed