From: Bruno Blais Date: Wed, 3 Jan 2024 01:45:39 +0000 (-0500) Subject: Merge pull request #16409 from bangerth/trilinos-6 X-Git-Tag: relicensing~205 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=0290cf9e1946cf4e8db9f681239c1b98fd8814a5;p=dealii.git Merge pull request #16409 from bangerth/trilinos-6 Push a variable declaration down to its first use. --- 0290cf9e1946cf4e8db9f681239c1b98fd8814a5