From: Marc Fehling 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