From: Daniel Arndt Date: Tue, 10 May 2022 09:01:52 +0000 (+0200) Subject: Merge pull request #13708 from simonsticko/exception_white_space X-Git-Tag: v9.4.0-rc1~250 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=5323479a6aed627fccf7c0798bce0301aa063df3;p=dealii.git Merge pull request #13708 from simonsticko/exception_white_space --- 5323479a6aed627fccf7c0798bce0301aa063df3