Skip to content

Remove a comment that is not actually true.#6868

Merged
tjhei merged 1 commit intogeodynamics:mainfrom
bangerth:protected
Feb 23, 2026
Merged

Remove a comment that is not actually true.#6868
tjhei merged 1 commit intogeodynamics:mainfrom
bangerth:protected

Conversation

@bangerth
Copy link
Copy Markdown
Contributor

No description provided.

@tjhei tjhei merged commit c85d01a into geodynamics:main Feb 23, 2026
9 checks passed
@bangerth bangerth deleted the protected branch February 24, 2026 05:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants