Skip to content

Fix wrong claim: additionalProperties was introduced in Draft 0#294

Merged
jviotti merged 1 commit intomainfrom
additional-properties-draft0
Aug 19, 2025
Merged

Fix wrong claim: additionalProperties was introduced in Draft 0#294
jviotti merged 1 commit intomainfrom
additional-properties-draft0

Conversation

@jviotti
Copy link
Copy Markdown
Member

@jviotti jviotti commented Aug 18, 2025

Signed-off-by: Juan Cruz Viotti jv@jviotti.com

Signed-off-by: Juan Cruz Viotti <jv@jviotti.com>
@jviotti jviotti force-pushed the additional-properties-draft0 branch from 40d8421 to 5875cfa Compare August 18, 2025 19:24
@jviotti jviotti merged commit b04d34f into main Aug 19, 2025
2 checks passed
@jviotti jviotti deleted the additional-properties-draft0 branch August 19, 2025 13:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant