diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2022-08-17 10:42:31 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2022-08-17 12:28:14 -0700 |
| commit | 90d52b7129440d7d91bcdf3210513f380063be0a (patch) | |
| tree | ddec9df7ba4985439c71bb0ad95bc32b132f77f6 /linux | |
| parent | 64bed947aba4052ba57f80e04fff4211e833af40 (diff) | |
Redo FromJSON for Opt so that optional values can be omitted.
It would have been cleaner to make all of these values Maybes,
so the JSON could be derived automatically. But this method preserves
the existing API.
Diffstat (limited to 'linux')
0 files changed, 0 insertions, 0 deletions