From: Martin Kronbichler <martin.kronbichler@rub.de>
Date: Sun, 12 May 2024 06:01:08 +0000 (+0200)
Subject: Merge pull request #17004 from bangerth/todo-39
X-Git-Tag: v9.6.0-rc1~289
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=8de1a8f7b3440c2d668bbc8290bf91ae97b8b0d0;p=dealii.git

Merge pull request #17004 from bangerth/todo-39

Test step-39.
---

8de1a8f7b3440c2d668bbc8290bf91ae97b8b0d0