Fix records with Option
fields with a default that isn't None
#829
Merged
sksamuel merged 2 commits intosksamuel:masterfrom mberndt123:masterMay 15, 2024
+43-21
Option
fields with a default that isn't None
#829