From: Peter Munch <peterrmuench@gmail.com>
Date: Mon, 8 May 2023 05:34:20 +0000 (+0200)
Subject: Merge pull request #15177 from bangerth/const
X-Git-Tag: v9.5.0-rc1~255
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=30cea31936e2d47bb0d37a60335d29aa0f47866f;p=dealii.git

Merge pull request #15177 from bangerth/const

Make some variables in a few tests 'const'.
---

30cea31936e2d47bb0d37a60335d29aa0f47866f