Add properties to schema#222
Merged
GeorgDangl merged 14 commits intomasterfrom add-properties-to-schemaMay 22, 2023
+96
Commits
Commits on May 8, 2023
- committed
- committed
- committed
Commits on May 22, 2023
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- authored
- authored