Skip to content

Conversation

@totto82
Copy link
Member

@totto82 totto82 commented Dec 15, 2023

@blattms
Copy link
Member

blattms commented Mar 8, 2024

Not sure why this has not been merged. Is this still of interest, @totto82?

@totto82
Copy link
Member Author

totto82 commented Mar 11, 2024

Yes. I would be very happy if this can be merged. I would like to add them in the ctest list.

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.

3 participants