From: Matthias Maier Date: Mon, 28 Feb 2022 20:01:29 +0000 (-0600) Subject: Merge pull request #13464 from tjhei/mpi3_doc X-Git-Tag: v9.4.0-rc1~431 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=7782d54e197f07cbdcc874f8b736389a00022352;p=dealii.git Merge pull request #13464 from tjhei/mpi3_doc documentation: MPI 3.0 minimum --- 7782d54e197f07cbdcc874f8b736389a00022352