From: David Wells Date: Wed, 8 Jul 2020 02:06:53 +0000 (-0400) Subject: Merge pull request #10668 from masterleinad/fix_trilinos_68 X-Git-Tag: v9.3.0-rc1~1320 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=1c6fdf33d14c2f7dfcc271ab044ea7809cee3a54;p=dealii.git Merge pull request #10668 from masterleinad/fix_trilinos_68 Fix trilinos/68 --- 1c6fdf33d14c2f7dfcc271ab044ea7809cee3a54