From: Martin Kronbichler Date: Thu, 30 Jan 2025 09:40:46 +0000 (+0100) Subject: Merge pull request #18058 from bangerth/38 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=87000be88023ec4790378e3b62f5507eb89cbc22;p=dealii.git Merge pull request #18058 from bangerth/38 Update a comment in step-38. --- 87000be88023ec4790378e3b62f5507eb89cbc22