From: Martin Kronbichler Date: Thu, 2 Nov 2023 15:23:21 +0000 (+0100) Subject: Merge pull request #16221 from bangerth/sentences X-Git-Tag: relicensing~327 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=d43750457950cf981ef23ed47f10cd4dbf25631d;p=dealii.git Merge pull request #16221 from bangerth/sentences Use proper sentences in error messages. --- d43750457950cf981ef23ed47f10cd4dbf25631d