Skip to content

meta-schema extensions & disallowing unknown keywords#1614

Merged
gregsdennis merged 2 commits intomainfrom
gregsdennis/meta-schema-extensions
Aug 3, 2025
Merged

meta-schema extensions & disallowing unknown keywords#1614
gregsdennis merged 2 commits intomainfrom
gregsdennis/meta-schema-extensions

Commits

Commits on Aug 3, 2025