From: Marc Fehling Date: Mon, 30 Jun 2025 07:52:43 +0000 (+0200) Subject: Merge pull request #18597 from marcfehling/error-message X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=36e24445b0abf489533a24c6eced189fa62ced83;p=dealii.git Merge pull request #18597 from marcfehling/error-message Reword error message. --- 36e24445b0abf489533a24c6eced189fa62ced83