From: Peter Munch Date: Thu, 15 Jun 2023 18:50:59 +0000 (+0200) Subject: Merge pull request #95 from jh66637/add_author X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=f0d274044ba478dae7bac33a363048e7fc7e3ecb;p=release-papers.git Merge pull request #95 from jh66637/add_author add heinz as author --- f0d274044ba478dae7bac33a363048e7fc7e3ecb