From: David Wells Date: Sun, 27 Oct 2019 22:49:04 +0000 (-0400) Subject: Merge pull request #8967 from peterrum/test_mpi X-Git-Tag: v9.2.0-rc1~939 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=1634ecf9dd790e9a0d132711586f180c8c9f2f2e;p=dealii.git Merge pull request #8967 from peterrum/test_mpi Make MPI test suite independent from p4est --- 1634ecf9dd790e9a0d132711586f180c8c9f2f2e