From: Daniel Arndt Date: Tue, 28 Jan 2025 17:47:54 +0000 (-0500) Subject: Merge pull request #18001 from bangerth/geometry-info-1 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=104de536244e8e9ecc30e4a86aad1b8d7c4bd541;p=dealii.git Merge pull request #18001 from bangerth/geometry-info-1 --- 104de536244e8e9ecc30e4a86aad1b8d7c4bd541