From: Daniel Arndt Date: Wed, 4 Jan 2023 20:53:16 +0000 (+0100) Subject: Merge pull request #14639 from masterleinad/require_trilinos_12_14_1 X-Git-Tag: v9.5.0-rc1~682 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=f24e3f1eb1c474e387f17555cb17b7096da9f6e9;p=dealii.git Merge pull request #14639 from masterleinad/require_trilinos_12_14_1 Fixes https://github.com/dealii/dealii/issues/14637 --- f24e3f1eb1c474e387f17555cb17b7096da9f6e9