From: Daniel Arndt Date: Mon, 15 Jun 2020 12:35:15 +0000 (-0400) Subject: Merge pull request #10534 from jppelteret/doc_changelog_01-dealii_9_2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fheads%2Fdealii-9.2;p=dealii.git Merge pull request #10534 from jppelteret/doc_changelog_01-dealii_9_2 [9.2] Takeover #10533: Add a missing contributor to a changelog entry --- b42193f72751984d28e11b249e47e3aebf6685f2