From: Peter Munch <peterrmuench@gmail.com>
Date: Mon, 3 May 2021 17:00:00 +0000 (+0200)
Subject: Merge pull request #11795 from bangerth/michelebucelli-step-17-simplex-cleanup
X-Git-Tag: v9.3.0-rc1~154
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=bc1d6abd89c8bf55996020d875e8b4b42bebadfe;p=dealii.git

Merge pull request #11795 from bangerth/michelebucelli-step-17-simplex-cleanup

Michelebucelli step 17 simplex cleanup
---

bc1d6abd89c8bf55996020d875e8b4b42bebadfe