From: Martin Kronbichler <martin.kronbichler@rub.de>
Date: Fri, 8 Mar 2024 14:26:00 +0000 (+0100)
Subject: Merge pull request #16735 from bangerth/cleanup
X-Git-Tag: v9.6.0-rc1~495
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=a636ebc2f197f32ae4144f8d861c91b7de86d0a1;p=dealii.git

Merge pull request #16735 from bangerth/cleanup

Rename a few variables.
---

a636ebc2f197f32ae4144f8d861c91b7de86d0a1