From: David Wells Date: Thu, 7 Jul 2016 14:11:29 +0000 (-0400) Subject: Merge pull request #2764 from tjhei/fix_error_msg X-Git-Tag: v8.5.0-rc1~916 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=136aaf97477431072cf651ff79fb8b65b122dcbb;p=dealii.git Merge pull request #2764 from tjhei/fix_error_msg update PETSc error message --- 136aaf97477431072cf651ff79fb8b65b122dcbb