From: David Wells Date: Tue, 13 Apr 2021 14:56:13 +0000 (-0400) Subject: Merge pull request #12038 from bangerth/61 X-Git-Tag: v9.3.0-rc1~229 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=77e95c61293d0cee6d1e5393b8a25cefaff14a8f;p=dealii.git Merge pull request #12038 from bangerth/61 Clarify an issue in the introduction of step-61. --- 77e95c61293d0cee6d1e5393b8a25cefaff14a8f