From: Bruno Turcksin Date: Thu, 25 Feb 2016 18:21:52 +0000 (-0500) Subject: Merge pull request #2244 from tjhei/8_4_pr2243 X-Git-Tag: v8.4.0-rc3~6 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=83a67c5667c88525f583fed6c69edd7f887f1291;p=dealii.git Merge pull request #2244 from tjhei/8_4_pr2243 [8.4] take over #2243: fix incorrect MPI_Allgather --- 83a67c5667c88525f583fed6c69edd7f887f1291