Skip to content

Remove unnecessary stuff from MRICP.h#1632

Merged
Fedr merged 1 commit intomasterfrom
icp/reduce-header
Sep 21, 2023
Merged

Remove unnecessary stuff from MRICP.h#1632
Fedr merged 1 commit intomasterfrom
icp/reduce-header

Conversation

@Fedr
Copy link
Contributor

@Fedr Fedr commented Sep 21, 2023

No description provided.

@Fedr Fedr requested a review from Grantim September 21, 2023 13:36
@Fedr Fedr merged commit f2d51a6 into master Sep 21, 2023
@Fedr Fedr deleted the icp/reduce-header branch September 21, 2023 15:03
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