Skip to content

Remove Unnecessary Type Definition genreType#71

Merged
bpepple merged 1 commit intomasterfrom
remove-redundant-definition
Apr 28, 2025
Merged

Remove Unnecessary Type Definition genreType#71
bpepple merged 1 commit intomasterfrom
remove-redundant-definition

Conversation

@bpepple
Copy link
Copy Markdown
Member

@bpepple bpepple commented Apr 27, 2025

This PR simply removes a redundant type definition genreType which is the same as resourceType

It's the same as `resourceType`, so no reason to keep it.

Add tests for v1.1 xsd.
@bpepple bpepple self-assigned this Apr 27, 2025
@bpepple bpepple added the non-breaking The change will generate a new minor version of the schema label Apr 27, 2025
@bpepple bpepple linked an issue Apr 27, 2025 that may be closed by this pull request
@bpepple bpepple merged commit 6b263b1 into master Apr 28, 2025
3 checks passed
@bpepple bpepple deleted the remove-redundant-definition branch April 28, 2025 12:55
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

non-breaking The change will generate a new minor version of the schema

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Remove Redundant Type Definition

2 participants