From: Wolfgang Bangerth Date: Fri, 16 Jun 2017 15:37:02 +0000 (-0600) Subject: Merge pull request #4521 from drwells/fix-trilinos-quick-test X-Git-Tag: v9.0.0-rc1~1498 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=a772e07b4584b97c5bc7b2853ca2efa5b992c562;p=dealii.git Merge pull request #4521 from drwells/fix-trilinos-quick-test Fix the Trilinos quick test. --- a772e07b4584b97c5bc7b2853ca2efa5b992c562