From: Wolfgang Bangerth Date: Wed, 25 Jan 2023 22:49:34 +0000 (-0700) Subject: Merge pull request #14709 from drwells/misc-reference-cell X-Git-Tag: v9.5.0-rc1~612 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=5a402dc7fe082582e0cdabd3d3d568994da22d47;p=dealii.git Merge pull request #14709 from drwells/misc-reference-cell Miscellaneous improvements to ReferenceCell --- 5a402dc7fe082582e0cdabd3d3d568994da22d47