From: Matthias Maier Date: Wed, 31 Aug 2016 22:28:35 +0000 (-0500) Subject: Merge pull request #3042 from drwells/dealii-8.4-petsc-3.7 X-Git-Tag: v8.4.2-rc1~6 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=04abfa10e63ff0df8cf423fb6596631d5f8234db;p=dealii.git Merge pull request #3042 from drwells/dealii-8.4-petsc-3.7 Fix compilation with PETSc 3.7.0. --- 04abfa10e63ff0df8cf423fb6596631d5f8234db