From: Martin Kronbichler Date: Tue, 27 May 2025 06:42:56 +0000 (+0200) Subject: Merge pull request #18500 from bangerth/instantiations X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=453fe88e696258ebbb38a8f36cf6947adf550a23;p=dealii.git Merge pull request #18500 from bangerth/instantiations Remove a template instantiation optimization when building modules. --- 453fe88e696258ebbb38a8f36cf6947adf550a23