From: Timo Heister Date: Thu, 2 Jun 2022 02:21:36 +0000 (-0400) Subject: Merge pull request #13885 from drwells/fix-lc-mpi-clobbering X-Git-Tag: v9.4.0-rc1~87 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=94e4d0ef2742091c79c60926e891c8a50c56eb7e;p=dealii.git Merge pull request #13885 from drwells/fix-lc-mpi-clobbering Fix a problem with combining MPI::LargeCount and PETSc. --- 94e4d0ef2742091c79c60926e891c8a50c56eb7e