Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request #10534 from jppelteret/doc_changelog_01-dealii_9_2
[9.2] Takeover #10533: Add a missing contributor to a changelog entry
- Loading branch information