From: Peter Munch Date: Sun, 12 Mar 2023 12:14:21 +0000 (+0100) Subject: Merge pull request #14875 from bangerth/message-2 X-Git-Tag: v9.5.0-rc1~496 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=b02c81b6cf08f10d7a9212af69da87d999ded5d6;p=dealii.git Merge pull request #14875 from bangerth/message-2 Minor improvement to an error message about an unsupported case. --- b02c81b6cf08f10d7a9212af69da87d999ded5d6