From: Marc Fehling <mafehling.git@gmail.com>
Date: Wed, 29 Nov 2023 17:12:35 +0000 (-0700)
Subject: Merge pull request #16305 from bangerth/parens
X-Git-Tag: relicensing~275
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=9b0e5a6f9cea7d750e35b1108396297e52b878f8;p=dealii.git

Merge pull request #16305 from bangerth/parens

Better place a set of parentheses.
---

9b0e5a6f9cea7d750e35b1108396297e52b878f8