From: Martin Kronbichler Date: Thu, 2 Nov 2023 15:27:04 +0000 (+0100) Subject: Merge pull request #16197 from bergbauer/mapping_info_compress_faces X-Git-Tag: relicensing~324 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=a02917054b63cc594b256e35729c199ca485d014;p=dealii.git Merge pull request #16197 from bergbauer/mapping_info_compress_faces Compress NonMatching::MappingInfo for faces --- a02917054b63cc594b256e35729c199ca485d014