From: Timo Heister Date: Thu, 1 Sep 2016 12:12:05 +0000 (-0400) Subject: Merge pull request #3041 from jperryhouts/another_woraround_for_mpi_error X-Git-Tag: v8.5.0-rc1~718 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=57c19f8252fc995bb4397ae2873a6e6dfa1a0bb3;p=dealii.git Merge pull request #3041 from jperryhouts/another_woraround_for_mpi_error Workaround for cases where MPI_Finalize is called before MPI_Comm_free --- 57c19f8252fc995bb4397ae2873a6e6dfa1a0bb3