From: Rene Gassmoeller <rene.gassmoeller@mailbox.org>
Date: Sat, 10 Aug 2024 15:46:14 +0000 (-0700)
Subject: Merge pull request #17449 from bangerth/assertion-text
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=878ed2bce2efb787748eb7f45cd24d8ae677493f;p=dealii.git

Merge pull request #17449 from bangerth/assertion-text

Improve an error message.
---

878ed2bce2efb787748eb7f45cd24d8ae677493f