From: Martin Kronbichler <martin.kronbichler@uni-a.de>
Date: Thu, 15 Jun 2023 18:22:15 +0000 (+0200)
Subject: Merge pull request #15348 from bangerth/conversion
X-Git-Tag: v9.5.0-rc1~108
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=ba6c84cfdf9a0aaa3b1f8f637e538ec2fe207d2c;p=dealii.git

Merge pull request #15348 from bangerth/conversion

Make sure a conversion is safe.
---

ba6c84cfdf9a0aaa3b1f8f637e538ec2fe207d2c