From: Marc Fehling Date: Fri, 25 Apr 2025 10:21:36 +0000 (+0200) Subject: Merge pull request #18386 from bangerth/unguard X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=26f420caf60e81f141e6c81cae42efd74e37e4bf;p=dealii.git Merge pull request #18386 from bangerth/unguard Un-guard two p4est declarations. --- 26f420caf60e81f141e6c81cae42efd74e37e4bf