From: Martin Kronbichler Date: Thu, 5 Oct 2023 14:07:58 +0000 (+0200) Subject: Merge pull request #16081 from bergbauer/tol_mapping_compr X-Git-Tag: relicensing~433 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=0b8780cd9211094e52dca111bab9df5bde773d53;p=dealii.git Merge pull request #16081 from bergbauer/tol_mapping_compr NonMatching::MappingInfo: Adjust tolerance for GeometryType detection --- 0b8780cd9211094e52dca111bab9df5bde773d53