From: Matthias Maier Date: Fri, 17 Jan 2025 17:10:14 +0000 (+0000) Subject: Merge pull request #18002 from bangerth/geometry-info-3 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=38411eb154b5a82cfc6f0e0cd6d2beefbfb2b2f9;p=dealii.git Merge pull request #18002 from bangerth/geometry-info-3 Avoid some more uses of GeometryInfo. --- 38411eb154b5a82cfc6f0e0cd6d2beefbfb2b2f9