From: Peter Munch Date: Tue, 11 Feb 2025 07:42:10 +0000 (+0100) Subject: Merge pull request #18116 from bangerth/anonymous X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=1aaea8ad17a3b4156c3d11c048f8fe30765eeb6d;p=dealii.git Merge pull request #18116 from bangerth/anonymous Do not use anonymous namespaces in header files. --- 1aaea8ad17a3b4156c3d11c048f8fe30765eeb6d