From: Marc Fehling <mafehling.git@gmail.com>
Date: Fri, 19 Jan 2024 19:58:50 +0000 (-0700)
Subject: Merge pull request #16501 from bangerth/30
X-Git-Tag: relicensing~135
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=f9b95f785a739e6e98e2cd8476c9941430064e28;p=dealii.git

Merge pull request #16501 from bangerth/30

Fix types and names in step-30.
---

f9b95f785a739e6e98e2cd8476c9941430064e28