From: Wolfgang Bangerth Date: Sun, 24 Jan 2016 19:33:38 +0000 (-0600) Subject: Merge pull request #2111 from tjhei/fix_step_40 X-Git-Tag: v8.4.0-rc2~56 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=120decdf9b41e0edc32f52da29004b7830ad203d;p=dealii.git Merge pull request #2111 from tjhei/fix_step_40 fix crash in petsc step-40 --- 120decdf9b41e0edc32f52da29004b7830ad203d