From: Daniel Arndt Date: Mon, 8 Jul 2019 23:13:14 +0000 (-0400) Subject: Merge pull request #8300 from peterrum/mpi-compute-index-owner X-Git-Tag: v9.2.0-rc1~1404 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=1b21da66e806e4fb029274d60388bdac9bb94a41;p=dealii.git Merge pull request #8300 from peterrum/mpi-compute-index-owner Mpi compute index owner --- 1b21da66e806e4fb029274d60388bdac9bb94a41