From: Martin Kronbichler Date: Wed, 12 Feb 2025 07:13:58 +0000 (+0100) Subject: Merge pull request #18123 from bangerth/anonymous X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=f01c0fe885f84982b6a797585835f955b641d35f;p=dealii.git Merge pull request #18123 from bangerth/anonymous Do not use anonymous namespaces in header files. --- f01c0fe885f84982b6a797585835f955b641d35f