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