From: Wolfgang Bangerth Date: Mon, 15 Aug 2016 21:01:37 +0000 (-0500) Subject: Merge pull request #2963 from tjhei/petsc_reinit_prec X-Git-Tag: v8.5.0-rc1~765 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=4bd4e76705ba9605888667c69cff69debd980141;p=dealii.git Merge pull request #2963 from tjhei/petsc_reinit_prec Allow PETScWrappers::Precondition* re-init --- 4bd4e76705ba9605888667c69cff69debd980141