Skip to content

unpin jsonschema and filter its warning instead#9822

Merged
hoechenberger merged 2 commits intomne-tools:mainfrom
drammock:unpin-jsonschema
Oct 9, 2021
Merged

unpin jsonschema and filter its warning instead#9822
hoechenberger merged 2 commits intomne-tools:mainfrom
drammock:unpin-jsonschema

Commits

Commits on Oct 8, 2021