From: Matthias Maier <tamiko@43-1.org>
Date: Fri, 11 Oct 2024 13:58:05 +0000 (+0000)
Subject: Merge pull request #17760 from bangerth/comments
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=d7cd2b9e790676dba635b41cd095973b681e9e65;p=dealii.git

Merge pull request #17760 from bangerth/comments

Add comments clarifying some numbers.
---

d7cd2b9e790676dba635b41cd095973b681e9e65