From: Martin Kronbichler Date: Sun, 14 Mar 2021 15:00:49 +0000 (+0100) Subject: Merge pull request #11907 from bangerth/error-2 X-Git-Tag: v9.3.0-rc1~332 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=779d657aa3788b57a774647cdd8eeab6bdc05ce6;p=dealii.git Merge pull request #11907 from bangerth/error-2 Fix a space issue in an exception text. --- 779d657aa3788b57a774647cdd8eeab6bdc05ce6