From: Daniel Arndt Date: Wed, 28 May 2025 12:51:48 +0000 (-0400) Subject: Merge pull request #18493 from bangerth/namespace X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=6b6b4e1f1a7cd8418376de18f2473305cd3f3057;p=dealii.git Merge pull request #18493 from bangerth/namespace --- 6b6b4e1f1a7cd8418376de18f2473305cd3f3057