Update: use default
keyword in JSON schema (fixes #9929)
#11288
Merged
default
keyword in JSON schema (fixes #9929)
#11288