From: Martin Kronbichler <martin.kronbichler@rub.de>
Date: Fri, 20 Dec 2024 18:20:28 +0000 (+0100)
Subject: Merge pull request #17947 from bangerth/71
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=6548a49e0adb3decbd16f5a701c39ce301a596ad;p=dealii.git

Merge pull request #17947 from bangerth/71

Add explanatory comment to step-71.
---

6548a49e0adb3decbd16f5a701c39ce301a596ad