From: Wolfgang Bangerth Date: Mon, 3 May 2021 03:01:53 +0000 (-0600) Subject: Merge pull request #12120 from peterrum/ReferenceCellWrapper X-Git-Tag: v9.3.0-rc1~157 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=c928da6ea01c65f86c359374b3b16090725d3804;p=dealii.git Merge pull request #12120 from peterrum/ReferenceCellWrapper Rename CellTypeWrapper to ReferenceCellWrapper --- c928da6ea01c65f86c359374b3b16090725d3804