Skip to content

Rename HpoMtcFilter to IfHpoFilter#411

Merged
ielis merged 1 commit intodevelopfrom
rename-mtc-filter-to-if-hpo-filter
Jan 31, 2025
Merged

Rename HpoMtcFilter to IfHpoFilter#411
ielis merged 1 commit intodevelopfrom
rename-mtc-filter-to-if-hpo-filter

Conversation

@ielis
Copy link
Collaborator

@ielis ielis commented Jan 31, 2025

Rename HpoMtcFilter to IfHpoFilter.

@ielis ielis merged commit d44e718 into develop Jan 31, 2025
3 checks passed
@ielis ielis deleted the rename-mtc-filter-to-if-hpo-filter branch January 31, 2025 14:11
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.

1 participant