From: Martin Kronbichler Date: Mon, 18 Apr 2016 09:36:05 +0000 (+0200) Subject: Merge pull request #2516 from ESeNonFossiIo/fix_old_PETSc_versions X-Git-Tag: v8.5.0-rc1~1100 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=a699ff1cc2e8e7cbf4d2c787f100c8717dd9092c;p=dealii.git Merge pull request #2516 from ESeNonFossiIo/fix_old_PETSc_versions Fix a compilation issue of #2502 --- a699ff1cc2e8e7cbf4d2c787f100c8717dd9092c