unpin jsonschema and filter its warning instead#9822
Merged
hoechenberger merged 2 commits intomne-tools:mainfrom Oct 9, 2021
Merged
unpin jsonschema and filter its warning instead#9822hoechenberger merged 2 commits intomne-tools:mainfrom
hoechenberger merged 2 commits intomne-tools:mainfrom