From: Timo Heister Date: Thu, 22 Jun 2023 21:30:53 +0000 (-0400) Subject: Merge pull request #334 from pengfej/Error-on-Trilinos X-Git-Tag: v9.5.1-r1~12 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=abd77c4b6fbe729860232ed0fb0256185433ec2c;p=candi.git Merge pull request #334 from pengfej/Error-on-Trilinos Error about building Trilinos 14.0.0 with candi --- abd77c4b6fbe729860232ed0fb0256185433ec2c