From: David Wells Date: Tue, 11 Mar 2025 14:03:02 +0000 (-0400) Subject: Merge pull request #18224 from bangerth/anonymous X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=dd27866bf09ff931508490b6633ed1afebe40dd0;p=dealii.git Merge pull request #18224 from bangerth/anonymous Do not use anonymous namespaces in header files. --- dd27866bf09ff931508490b6633ed1afebe40dd0