Fix JSON serialization of storage format string#47

Merged

sebastianburckhardt merged 3 commits intomainfrom pr/storage-format-serialization-bug

Jun 18, 2021

+34-8

Commits on Jun 1, 2021

Use more explicit serialization/deserialization for storage format string.
sebastianburckhardt
committed
include settings for deserialization also.
sebastianburckhardt
committed

Commits on Jun 14, 2021

Merge branch 'main' into pr/storage-format-serialization-bug
sebastianburckhardt
committed