From: Matthias Maier Date: Mon, 3 Jul 2023 21:24:41 +0000 (+0000) Subject: Merge pull request #15612 from tamiko/fix_compilation_with_trilinos_12.14 X-Git-Tag: relicensing~780 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=68614f5c22a261b7271053f39961978e6629ce72;p=dealii.git Merge pull request #15612 from tamiko/fix_compilation_with_trilinos_12.14 lac/trilinos_tpetra...h: Fix compilation on Ubuntu 20.04 --- 68614f5c22a261b7271053f39961978e6629ce72