Skip to content

Optimize TraitUtil::hasTrait()#372

Merged
mvorisek merged 1 commit intodevelopfrom
optimize_has_trait
Jan 22, 2023
Merged

Optimize TraitUtil::hasTrait()#372
mvorisek merged 1 commit intodevelopfrom
optimize_has_trait

Conversation

@mvorisek
Copy link
Copy Markdown
Member

No description provided.

@mvorisek mvorisek marked this pull request as ready for review January 22, 2023 18:14
@mvorisek mvorisek merged commit 5aa6a4c into develop Jan 22, 2023
@mvorisek mvorisek deleted the optimize_has_trait branch January 22, 2023 21:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

1 participant