Skip to content

Conversation

@tarikdzanic
Copy link
Contributor

No description provided.

@justinlaughlin
Copy link
Contributor

Oh, I don't know why I can't review. I think we should merge this though?

@tzanio
Copy link
Member

tzanio commented Sep 21, 2025

I think we should merge this though?

We should wait for mfem/mfem#4289 to be merged first, right?

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.

4 participants