From: Daniel Arndt Date: Tue, 28 Jan 2025 14:06:55 +0000 (-0500) Subject: Merge pull request #18040 from bangerth/geometry-info-4 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=a95db6721708a80903c13b59908957ad3f8a5db4;p=dealii.git Merge pull request #18040 from bangerth/geometry-info-4 --- a95db6721708a80903c13b59908957ad3f8a5db4