From: Uwe Köcher <mail@uwe.koecher.cc>
Date: Mon, 26 Aug 2019 07:16:32 +0000 (+0200)
Subject: Merge pull request #121 from tjhei/update_petsc
X-Git-Tag: v9.2.0-r1~14
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=0bcaced4c3499ce2f0cf51225b06f34429b65c4f;p=candi.git

Merge pull request #121 from tjhei/update_petsc

update petsc
---

0bcaced4c3499ce2f0cf51225b06f34429b65c4f