From: Wolfgang Bangerth Date: Wed, 22 Jun 2022 04:20:48 +0000 (+0900) Subject: Merge pull request #81 from drwells/cleanup-contributors X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=5983d0fa2ed9100f8f3581e557caba159a43f4f7;p=release-papers.git Merge pull request #81 from drwells/cleanup-contributors Clean up the list of contributors. --- 5983d0fa2ed9100f8f3581e557caba159a43f4f7