From: Marc Fehling Date: Wed, 21 May 2025 08:01:04 +0000 (+0200) Subject: Merge pull request #18474 from bangerth/static X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=7ca54fb98909804ac3641301bbdf21c7e383ab13;p=dealii.git Merge pull request #18474 from bangerth/static Work around an issue with non-exportable names. --- 7ca54fb98909804ac3641301bbdf21c7e383ab13