From: Martin Kronbichler 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