From: David Wells Date: Sat, 23 Jan 2021 19:03:32 +0000 (-0500) Subject: Merge pull request #11613 from drwells/minor-simplex-fixes X-Git-Tag: v9.3.0-rc1~575 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=0893ad85137b904a230524fb093291204baf8d69;p=dealii.git Merge pull request #11613 from drwells/minor-simplex-fixes Fix a variety of small simplex things. --- 0893ad85137b904a230524fb093291204baf8d69