From: Wolfgang Bangerth Date: Fri, 30 Dec 2016 11:59:38 +0000 (-0700) Subject: Merge pull request #3719 from masterleinad/fix_nonmpi_petsc_compile X-Git-Tag: v8.5.0-rc1~301 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=6694595646bcf3745d51b4d94272ec178e80111d;p=dealii.git Merge pull request #3719 from masterleinad/fix_nonmpi_petsc_compile Fix compiling with non-MPI PETSc --- 6694595646bcf3745d51b4d94272ec178e80111d