From: Martin Kronbichler <martin.kronbichler@uni-a.de>
Date: Tue, 10 Oct 2023 16:13:40 +0000 (+0200)
Subject: Merge pull request #16083 from bangerth/invalid
X-Git-Tag: relicensing~417
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=159d6f824ae36fc6b72a7360b0d2425fa4af9397;p=dealii.git

Merge pull request #16083 from bangerth/invalid

Document the intention of the numbers::invalid_* variables.
---

159d6f824ae36fc6b72a7360b0d2425fa4af9397