Skip to content

refactor: remove PropType enum#915

Merged
pgiraud merged 1 commit into
masterfrom
proptype_removal
Jun 22, 2026
Merged

refactor: remove PropType enum#915
pgiraud merged 1 commit into
masterfrom
proptype_removal

Conversation

@pgiraud

@pgiraud pgiraud commented Jun 22, 2026

Copy link
Copy Markdown
Member

It is not used since commit 294cd97.

It is not used since commit 294cd97.
@pgiraud pgiraud merged commit 0ec3ff7 into master Jun 22, 2026
2 checks passed
@pgiraud pgiraud deleted the proptype_removal branch June 22, 2026 08:34
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.

2 participants