Skip to content

Avoid some deprecated things. - #253

Merged
masterleinad merged 2 commits into
dealii:masterfrom
bangerth:deprecated-2
Jul 6, 2026
Merged

Avoid some deprecated things.#253
masterleinad merged 2 commits into
dealii:masterfrom
bangerth:deprecated-2

Conversation

@bangerth

@bangerth bangerth commented Jul 3, 2026

Copy link
Copy Markdown
Member

Follow-up to #252.

@bangerth

bangerth commented Jul 3, 2026

Copy link
Copy Markdown
Member Author

@maieneuro FYI

@masterleinad
masterleinad merged commit dc7a0a6 into dealii:master Jul 6, 2026
5 checks passed
@bangerth
bangerth deleted the deprecated-2 branch July 6, 2026 20: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.

2 participants