From: Denis Davydov Date: Fri, 8 Jul 2016 17:04:03 +0000 (+0200) Subject: Merge pull request #2787 from drwells/fix-petsc-compilation X-Git-Tag: v8.5.0-rc1~899 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=6d6f72bc7f71c5a627b6c253e74fc35db18426d8;p=dealii.git Merge pull request #2787 from drwells/fix-petsc-compilation Fix compilation with PETSc. --- 6d6f72bc7f71c5a627b6c253e74fc35db18426d8