Skip to content

Allow for repeated prefixes in object type names#78

Merged
jakedt merged 1 commit intomainfrom
object-type-tree
Aug 7, 2023
Merged

Allow for repeated prefixes in object type names#78
jakedt merged 1 commit intomainfrom
object-type-tree

Conversation

@jakedt
Copy link
Copy Markdown
Member

@jakedt jakedt commented Aug 7, 2023

No description provided.

Copy link
Copy Markdown
Member

@josephschorr josephschorr left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@jakedt jakedt merged commit 3444cb6 into main Aug 7, 2023
@jakedt jakedt deleted the object-type-tree branch August 7, 2023 20:40
@github-actions github-actions bot locked and limited conversation to collaborators Aug 7, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants