From: Bruno Blais Date: Wed, 3 Jan 2024 01:34:21 +0000 (-0500) Subject: Merge pull request #16408 from bangerth/trilinos-7 X-Git-Tag: relicensing~206 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=723d6ccfdb84b921258ec41baf684f06b37b949f;p=dealii.git Merge pull request #16408 from bangerth/trilinos-7 Simplify some locations. In particular, avoid doing too many type casts by hand in the Trilinos wrappers given that this is so fragile with regard to what Trilinos actually uses internally. --- 723d6ccfdb84b921258ec41baf684f06b37b949f