From: Martin Kronbichler Date: Wed, 12 Aug 2015 14:01:35 +0000 (+0200) Subject: Merge pull request #1330 from bangerth/doc-update-33 X-Git-Tag: v8.4.0-rc2~627 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=3b436b8547ae57a09c7243319b8d65cd65bfe5c0;p=dealii.git Merge pull request #1330 from bangerth/doc-update-33 Improve error messages about ghosted vectors. --- 3b436b8547ae57a09c7243319b8d65cd65bfe5c0