Fix records with Option fields with a default that isn't None (#829)
#118
| Job | Run time |
|---|---|
| 2m 4s | |
| 2m 4s |
Option fields with a default that isn't None (#829)
#118
| Job | Run time |
|---|---|
| 2m 4s | |
| 2m 4s |