Add missing properties to mypy schema#4088

madskristensen merged 1 commit intoSchemaStore:masterSchemaStore/schemastore:masterfrom

jakobsen:masterCopy head branch name to clipboard