Skip to content

Don't duplicate properties in intersections#66

Merged
skonves merged 1 commit intomainfrom
intersections
Aug 14, 2025
Merged

Don't duplicate properties in intersections#66
skonves merged 1 commit intomainfrom
intersections

Conversation

@skonves
Copy link
Member

@skonves skonves commented Aug 14, 2025

Resolves #47

@skonves skonves merged commit 26d851e into main Aug 14, 2025
6 checks passed
@skonves skonves deleted the intersections branch August 14, 2025 02:51
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.

Don't duplicate properties in allOf intersections

1 participant