From: Martin Kronbichler Date: Sat, 29 Mar 2025 12:59:56 +0000 (+0100) Subject: Merge pull request #18300 from bangerth/external X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=5f01c80b021c13e2c3d7d18fffc85edf79dc9230;p=dealii.git Merge pull request #18300 from bangerth/external Ensure a symbol in a header file has external linkage. --- 5f01c80b021c13e2c3d7d18fffc85edf79dc9230