From: David Wells Date: Sat, 28 Oct 2017 16:31:02 +0000 (-0400) Subject: Merge pull request #5347 from davydden/petsc_slepc_3.8 X-Git-Tag: v9.0.0-rc1~859 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=5037c35a38307f4d4caf4c05536a024c78dd4b86;p=dealii.git Merge pull request #5347 from davydden/petsc_slepc_3.8 fixes for Petsc / Slepc 3.8 --- 5037c35a38307f4d4caf4c05536a024c78dd4b86