Skip to content

Conversation

@marcfehling
Copy link
Member

Fixes #228.

@marcfehling marcfehling merged commit e5e69b7 into dealii:master Jul 21, 2025
6 of 8 checks passed
@marcfehling marcfehling deleted the removed-deprecations branch July 21, 2025 15:06
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.

Scheduled GitHub Actions worker is failing

2 participants