From: Bruno Blais Date: Wed, 3 Jan 2024 00:33:01 +0000 (-0500) Subject: Merge pull request #16405 from bangerth/trilinos-4 X-Git-Tag: relicensing~207 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=22ca076b2580f4663f5dfda58972b73b8b0a9f48;p=dealii.git Merge pull request #16405 from bangerth/trilinos-4 Avoid dynamic memory allocation when we know that we won't need it. --- 22ca076b2580f4663f5dfda58972b73b8b0a9f48